DocumentCode
2748100
Title
A logic of communication in hostile environment
Author
Bieber, Pierre
Author_Institution
ONERA-CERT, Toulouse, France
fYear
1990
fDate
12-14 Jun 1990
Firstpage
14
Lastpage
22
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop III, 1990. Proceedings
Conference_Location
Franconia, NH
Print_ISBN
0-8186-2071-4
Type
conf
DOI
10.1109/CSFW.1990.128181
Filename
128181
Link To Document