Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
Gavin Lowe
Details
| Book Title |
Tools and Algorithms for Construction and Analysis of Systems‚ Second International Workshop‚ TACAS '96‚ Passau‚ Germany‚ March 27−29‚ 1996‚ Proceedings |
| Editor |
Tiziana Margaria and Bernhard Steffen |
| ISBN |
3−540−61042−1 |
| Pages |
147−166 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
1055 |
| Year |
1996 |
Links
Related pages
|
People |