An encapsulated authentication logic for reasoning about key distribution protocols
Iliano Cervesato‚ Catherine Meadows and Dusko Pavlovic
Details
| Book Title |
Proceedings of CSFW 2005 |
| Editor |
Joshua Guttman |
| Pages |
48–61 |
| Publisher |
IEEE |
| Year |
2005 |
Links
Related pages
|
People |