About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
LICS 1986
Conference paper
I'M OK IF YOU'RE OK: ON THE NOTION OF TRUSTING COMMUNICATION.
Abstract
The authors consider the issue of what an agent or a processor needs to know in order to know that its messages are true. They view this as a first step to a general theory of cooperative communication in distributed systems. An honest message is one that is known to be true when it is sent (or said). If every message that is sent is honest, then of course every message that is sent is true. Various weaker conditions than honesty are investigated with the property that, provided every message sent satisfies the condition, then every message sent is true.