Data independent verification of crypto−protocols
A. W. Roscoe‚ Philippa J. Broadfoot and Gavin Lowe
Details
| Journal |
Electr. Notes Theor. Comput. Sci. |
| Volume |
40 |
| Year |
2000 |
Links
Related pages
|
People |