University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Reasonsing About Secrecy in the Rank Function Framework.

Delicata, Roberto. (2006) Reasonsing About Secrecy in the Rank Function Framework. Doctoral thesis, University of Surrey (United Kingdom)..

Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (5MB) | Preview


The need for secure communication has prompted the development of security protocols---prescribed sequences of interaction designed to establish some security related goal (typically in a hostile environment). Security protocols are deceptively simple objects that often harbour subtle errors. As such, recent years have witnessed the development of a large number of techniques for their formal analysis; some aim at the discovery of attacks, others at establishing correctness. Schneider's approach, based on rank functions, provided a framework within which the correctness of authentication protocols can be rigorously established. This work was subsequently carried forward by Heather and Evans who touched upon, but did not fully address, the use of the approach in establishing secrecy properties. This thesis fills that gap by tailoring the central concept of a rank function for the verification of secrecy properties. We also describe how low-level properties of an underlying cryptosystem may be incorporated into analyses, yielding stronger proofs of correctness than those based on the perfect encryption assumption. In addition, we provide the first general approach for reasoning about forward secrecy; describe how the rank function approach fails when we attempt to reason about this property; and develop the concept of a temporal rank to address this problem.

Item Type: Thesis (Doctoral)
Divisions : Theses
Authors : Delicata, Roberto.
Date : 2006
Additional Information : Thesis (Ph.D.)--University of Surrey (United Kingdom), 2006.
Depositing User : EPrints Services
Date Deposited : 30 Apr 2019 08:07
Last Modified : 20 Aug 2019 15:32

Actions (login required)

View Item View Item


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