DocumentCode

3195734

Title

A compositional logic for protocol correctness

Author

Durgin, Nancy ; Mitchell, John ; Pavlovic, Dusko

Author_Institution

Stanford University

fYear

2001

fDate

2001

Firstpage

241

Lastpage

255

Keywords

Authentication; Body sensor networks; Computer science; Cryptography; Error correction; Information security; Joining processes; Logic; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE

ISSN

1063-6900

Print_ISBN

0-7695-1147-3

Type

conf

DOI

10.1109/CSFW.2001.930150

Filename

930150