A Timed Logic for Modeling and Reasoning About Security Protocols

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.

Provided by: North Carolina State University Topic: Security Date Added: Dec 2010 Format: PDF

Find By Topic