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
Abstract
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 |
---|---|
Status: | Published |
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