Can I read Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 - Using interval logics for temporal analysis of security protocols on EtoBox?

Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 - Using interval logics for temporal analysis of security protocols by Hansen, Michael R.; Sharp, Robin is a scholarly article available to read on EtoBox.

What is Proceedings of the 2003 ACM workshop on Formal methods in security engineering - FMSE '03 - Using interval logics for temporal analysis of security protocols about?

This paper presents an approach to the analysis of real-time properties of security protocols, based on the use of Interval Logic with durations to express and reason about temporal phenomena. We focus on the analysis of availability, where time is known to play a significant role, illustrate how relevant timing requirements can be formulated and show how Interval Logic can be used to prove that a system can fulfil these requirements in the presence of attackers of a given strength. We link this logic-based approach to more operational approaches.

Author

Hansen, Michael R.; Sharp, Robin

Publisher

ACM Press

Published

2003

Language

EN