Title :
Probabilistic polynomial-time process calculus and security protocol analysis
Author :
Mitchell, J. ; Ramanathan, A. ; Scedrov, A. ; Teague, V.
Author_Institution :
Stanford University
Keywords :
Body sensor networks; Calculus; Contracts; Cryptographic protocols; Cryptography; Logic design; Polynomials; Security; Standards development; Testing;
Conference_Titel :
Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on
Print_ISBN :
0-7695-1281-X
DOI :
10.1109/LICS.2001.932477
