Using a PVS embedding of CSP to verify authentication protocols
Tools
Tools
Tools
Dutertre, B and Schneider, SA Using a PVS embedding of CSP to verify authentication protocols In: 10th International Theorem Proving in Higher Order Logic Conference, 1997 - ?.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF - Accepted Version Available under License : See the attached licence file. 232Kb | |
![[img]](/style/images/fileicons/text_plain.png) | Plain Text (licence) 1516b |
Official URL: http://dx.doi.org/10.1007/BFb0028390
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Divisions: | Faculty of Engineering and Physical Sciences > Computing Science |
| ID Code: | 7210 |
| Deposited By: | Symplectic Elements |
| Deposited On: | 30 Sep 2011 14:38 |
| Last Modified: | 24 Jan 2013 15:45 |
Document Downloads
Repository Staff Only: item control page