University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Towards the Rank Function Verification of protocols that use Temporary Secrets

Delicata, Robert and Schneider, Steve (2004) Towards the Rank Function Verification of protocols that use Temporary Secrets

[img]
Preview
PDF
fulltext.pdf

Download (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
Depositing User: Mr Adam Field
Date Deposited: 27 May 2010 14:46
Last Modified: 23 Sep 2013 18:35
URI: http://epubs.surrey.ac.uk/id/eprint/1927

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800