Title: | Theory Generation for Security Protocols |
---|---|
Links: | Homepage Document as Postscript Document as PDF |
Authors: | Darrell Kindred |
Jeannette M. Wing EMail | |
Remarks: | |
Topics: |
Bibtex:
@misc{MDW99, AUTHOR = { Kindred, Darrell and Wing, Jeannette M. }, TITLE = { Theory Generation for Security Protocols }, YEAR = { 1999 }, MONTH = { July }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.