Intensional specifications of security protocols
A. W. Roscoe
Details
| Book Title |
Proceedings of 1996 IEEE Computer Security Foundations Workshop |
| Publisher |
IEEE Computer Society Press |
| Year |
1996 |
Links
Related pages
|
People |