Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
Gavin Lowe
Details
| Journal |
Software − Concepts and Tools |
| Number |
3 |
| Pages |
93−102 |
| Volume |
17 |
| Year |
1996 |
Links
Related pages
|
People |