A Logic for Constraint-based Security Protocol Analysis

S
SP
2006
2006 IEEE Symposium on Security and Privacy (S&P'06)
Abstract - A Logic for Constraint-based Security Protocol Analysis

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Ricardo Corin Articles by Sandro Etalle Articles by Ari Saptawijaya

2006 IEEE Symposium on Security and Privacy (S&P'06)

Berkeley/Oakland, California

May 21-May 24

ISBN: 0-7695-2574-1

	ASCII Text	x
	Ricardo Corin, Sandro Etalle, Ari Saptawijaya, "A Logic for Constraint-based Security Protocol Analysis," Security and Privacy, IEEE Symposium on, pp. 155-168, 2006 IEEE Symposium on Security and Privacy (S&P'06), 2006.

	BibTex	x
	@article{ 10.1109/SP.2006.3, author = {Ricardo Corin and Sandro Etalle and Ari Saptawijaya}, title = {A Logic for Constraint-based Security Protocol Analysis}, journal ={Security and Privacy, IEEE Symposium on}, volume = {0}, year = {2006}, issn = {1081-6011}, pages = {155-168}, doi = {http://doi.ieeecomputersociety.org/10.1109/SP.2006.3}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Security and Privacy, IEEE Symposium on TI - A Logic for Constraint-based Security Protocol Analysis SN - 1081-6011 SP155 EP168 A1 - Ricardo Corin, A1 - Sandro Etalle, A1 - Ari Saptawijaya, PY - 2006 KW - null VL - 0 JA - Security and Privacy, IEEE Symposium on ER -

Ricardo Corin, University of Twente, The Netherlands

Sandro Etalle, University of Twente, The Netherlands

Ari Saptawijaya, University of Indonesia, Indonesia

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SP.2006.3

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.

Citation:

Ricardo Corin, Sandro Etalle, Ari Saptawijaya, "A Logic for Constraint-based Security Protocol Analysis," sp, pp.155-168, 2006 IEEE Symposium on Security and Privacy (S&P'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.