Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Second Annual IEEE Symposium on

Logic in Computer Science (LICS 1987)

Paper: I'm OK if You're OK: On the Notion of Trusting Communication (at LICS 1987)

Authors: Ronald Fagin Joseph Y. Halpern

Abstract

We consider the issue of what an agent or a processor needs to know in order to know that its messages are true 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 considitions than honesty are investigated with the property that provided every message sent satisfies the condition, then every messages sent is true.

BibTeX

  @InProceedings{FaginHalpern-ImOKifYoureOKOntheN,
    author = 	 {Ronald Fagin and Joseph Y. Halpern},
    title = 	 {I'm OK if You're OK: On the Notion of Trusting Communication},
    booktitle =  {Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science (LICS 1987)},
    year =	 {1987},
    month =	 {June}, 
    pages =      {280--292},
    location =   {Ithaca, NY, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2017-04-0512:37
Andrzej Murawski