The perfect spy for model−checking crypto−protocols
A. W. Roscoe and M.H. Goldsmith
Details
| Book Title |
Proceedings of DIMACS workshop on the design and formal verification of crypto−protocols |
| Note | |
| Year |
1997 |
Links
Related pages
|
People |