Title :
A logic of communication in hostile environment
Author_Institution :
ONERA-CERT, Toulouse, France
Abstract :
The author adapts a knowledge-oriented model of distributed systems in order to analyze cryptographic protocols. This new model provides semantics for a logic of knowledge, time and communication. He expresses and proves with this logic security properties as secrecy and authentication
Keywords :
cryptography; formal logic; protocols; authentication; communication logic; cryptographic protocols; distributed systems; hostile environment; knowledge-oriented model; logic of knowledge; secrecy; semantics; Authentication; Communication system security; Context; Cryptographic protocols; Cryptography; History; Information security; Logic; Virtual manufacturing;
Conference_Titel :
Computer Security Foundations Workshop III, 1990. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2071-4
DOI :
10.1109/CSFW.1990.128181
