A derivation system for security protocols and its logical formalization
Anupam Datta, Ante Derek, John C. Mitchell and Dusko Pavlovic infobook title | Proceedings of CSFW 2003 |
editor | Dennis Volpano |
pages | 109—125 |
publisher | IEEE |
year | 2003 |
links
BibTeX
Link (pdf)
related pages
|
