A Logic for Constraint-based Security Protocol Analysis

Authors:
Ricardo Corin;Sandro Etalle;Ari Saptawijaya
Affiliations:
University of Twente, The Netherlands;University of Twente, The Netherlands;University of Indonesia, Indonesia
Venue:
SP '06 Proceedings of the 2006 IEEE Symposium on Security and Privacy
Year:
2006

Citing 0
Cited 5

Complexity of Checking Freshness of Cryptographic Protocols

ICISS '08 Proceedings of the 4th International Conference on Information Systems Security
Using deductive knowledge to improve cryptographic protocol verification

MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Securing data accountability in decentralized systems

OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Towards the orchestration of secured services under non-disclosure policies

MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security
Security and performance evaluation of security protocols

Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we present a sound and complete decision procedure to establish the validity of security properties for symbolic execution traces, and show the integration with constraintbased analysis techniques.