Modelling and verifying key−exchange protocols using CSP and FDR
A. W. Roscoe
Details
| Book Title |
Proceedings of 1995 IEEE Computer Security Foundations Workshop |
| Publisher |
IEEE Computer Society Press |
| Year |
1995 |
Links
Related pages
|
People |