Title: | Composing Proofs of Security Protocols Using Isabelle/IOA |
---|---|
Links: | Homepage Document as Postscript |
Authors: | Oleg Sheyner |
Jeannette M. Wing EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{SW02, AUTHOR = { Sheyner, Oleg and Wing, Jeannette M. }, TITLE = { Composing Proofs of Security Protocols Using Isabelle/IOA }, BOOKTITLE = { Theorem Proving for Higher Order Logics Workshop }, YEAR = { 2000 }, MONTH = { August }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.