Download Now Free registration required
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.
- Format: PDF
- Size: 452.7 KB