A Logic for Constraint-based Security Protocol Analysis

Berkeley/Oakland, California May 21-May 24

DOI Bookmark:

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

2006 IEEE Symposium on Security and P ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	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

	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

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.