A derivation system for security protocols and its logical formalization
Anupam Datta‚ Ante Derek‚ John C. Mitchell and Dusko Pavlovic
Details
| Book Title |
Proceedings of CSFW 2003 |
| Editor |
Dennis Volpano |
| Pages |
109–125 |
| Publisher |
IEEE |
| Year |
2003 |
Links
Related pages
|
People |