Title :
A compositional logic for protocol correctness
Author :
Durgin, Nancy ; Mitchell, John ; Pavlovic, Dusko
Author_Institution :
Stanford University
Keywords :
Authentication; Body sensor networks; Computer science; Cryptography; Error correction; Information security; Joining processes; Logic; Protocols;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930150
