An epistemic logic based synthesis of communication services and protocols | IEEE Conference Publication | IEEE Xplore