Towards the Rank Function Verification of protocols that use Temporary Secrets
Tools
Tools
Tools
Delicata, Robert and Schneider, Steve (2004) Towards the Rank Function Verification of protocols that use Temporary Secrets
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 204Kb |
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | In: Proceedings of the Workshop on Issues in the Theory of Security: WITS '04. |
| Divisions: | Faculty of Engineering and Physical Sciences > Computing Science |
| ID Code: | 1927 |
| Deposited By: | Mr Adam Field |
| Deposited On: | 27 May 2010 15:46 |
| Last Modified: | 26 Sep 2012 14:37 |
Document Downloads
Repository Staff Only: item control page