Title: | Fast, Automatic Checking of Security Protocols |
---|---|
Links: | Homepage Document as Postscript |
Authors: | Darrell Kindred |
Jeannette M. Wing EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{KW96, AUTHOR = { Kindred, Darrell and Wing, Jeannette M. }, TITLE = { Fast, Automatic Checking of Security Protocols }, BOOKTITLE = { Proc. of the USENIX 1996 Workshop on Electronic Commerce }, YEAR = { 1996 }, MONTH = { November }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.