Timed analysis of RFID distance bounding protocols
Yanrong Lu, Alice Ann Miller · 2012
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.