CSP, PVS and a recursive authentication protocol
Tools
Tools
Tools
Bryans, J and Schneider, SA CSP, PVS and a recursive authentication protocol In: DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997-09-03 - ?, Rutgers University.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF - Accepted Version Available under License : See the attached licence file. 237Kb | |
![[img]](/style/images/fileicons/text_plain.png) | Plain Text (licence) Available under License : See the attached licence file. 1516b | |
| Plain Text (licence) 1516b |
Official URL: http://dimacs.rutgers.edu/Workshops/Security/progr...
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Divisions: | Faculty of Engineering and Physical Sciences > Computing Science |
| ID Code: | 7209 |
| Deposited By: | Symplectic Elements |
| Deposited On: | 30 Sep 2011 14:33 |
| Last Modified: | 24 Jan 2013 15:45 |
Document Downloads
Repository Staff Only: item control page