A Timed Logic for Modeling and Reasoning About Security Protocols

Free registration required

Executive Summary

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