Timed analysis of RFID distance bounding protocols

Lu, Y. and Miller, A. (2012) Timed analysis of RFID distance bounding protocols. In: Schmidt, R.A. and Papacchini, F. (eds.) Proceedings of the 19th Workshop on Automated Reasoning ARW 2012, Manchester, UK, 2-4 Apr 2012. School of Computer Science, The University of Manchester: Manchester, pp. 37-38.

Full text not currently available from Enlighten.

Publisher's URL: https://www.escholar.manchester.ac.uk/uk-ac-man-scw:161817


Modelling real time is fundamental to reason about pervasive systems. The formal analysis of some time sensitive security protocols, such as distance bounding protocols, could lead to a more formal approach to time dependent properties formalisation and verification of pervasive systems.

Item Type:Book Sections
Glasgow Author(s) Enlighten ID:Miller, Professor Alice and Lu, Mr Yu
Authors: Lu, Y., and Miller, A.
College/School:College of Science and Engineering > School of Computing Science
Publisher:School of Computer Science, The University of Manchester

University Staff: Request a correction | Enlighten Editors: Update this record