A Timed Logic for Modeling and Reasoning About Security Protocols

Download Now Date Added: Dec 2010
Format: PDF

Many logical methods are usually considered suitable to express the static properties of security protocols while unsuitable to model dynamic processes or properties. However, a security protocol itself is in fact a dynamic process over time, and sometimes it is important to be able to express time-dependent security properties of protocols. In this paper, the authors present a new timed logic based on predicate modal logic, in which time is explicitly expressed in parameters of predicates or modal operators.