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]](http://epubs.surrey.ac.uk/style/images/fileicons/text.png)
|
Text
fulltext.pdf Download (208kB) |
| Item Type: | Conference or Workshop Item (UNSPECIFIED) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Divisions : | Faculty of Engineering and Physical Sciences > Computing Science | |||||||||
| Authors : |
|
|||||||||
| Date : | 20 April 2004 | |||||||||
| Additional Information : | In: Proceedings of the Workshop on Issues in the Theory of Security: WITS '04. | |||||||||
| Depositing User : | Mr Adam Field | |||||||||
| Date Deposited : | 27 May 2010 14:46 | |||||||||
| Last Modified : | 16 Jan 2019 16:23 | |||||||||
| URI: | http://epubs.surrey.ac.uk/id/eprint/1927 |
Actions (login required)
 |
View Item |
Downloads
Downloads per month over past year