An Improved Constraint-based system for the verification of security protocols

Ricardo Corin; Sandro Etalle

doi:10.1007/3-540-45789-5_24

An Improved Constraint-based system for the verification of security protocols

Ricardo Corin, Sandro Etalle

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

80 Downloads (Pure)

Abstract

We propose a constraint-based system for the verification of security protocols that improves upon the one developed by Millen and Shmatikov. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect aws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. We also show why these improvements yield a more effective and practical system.

Original language	English
Title of host publication	Static Analysis
Subtitle of host publication	9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002, Proceedings
Editors	Manuel V. Hermenegildo, German Puebla
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	239-265
Number of pages	16
ISBN (Electronic)	978-3-540-45789-3
ISBN (Print)	978-3-540-44235-6
DOIs	https://doi.org/10.1007/3-540-45789-5_24
Publication status	Published - Sept 2002
Event	9th International Symposium on Static Analysis, SAS 2002 - Madrid, Spain Duration: 17 Sept 2002 → 20 Sept 2002 Conference number: 9

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2477
ISSN (Print)	0302-9743

Conference

Conference	9th International Symposium on Static Analysis, SAS 2002
Abbreviated title	SAS
Country/Territory	Spain
City	Madrid
Period	17/09/02 → 20/09/02

Keywords

SCS-Cybersecurity
Security protocol
Mutual authentication
Cryptographic protocols
Parallel session
Strand space

Access to Document

10.1007/3-540-45789-5_24

Corin2002improvedAccepted author version, 221 KB

1 Report

An Improved Constraint-Based System for the Verification of Security Protocols
Corin, R. & Etalle, S., Jul 2002, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT technical reports series; no. TR-CTIT-02-27)
Research output: Book/Report › Report › Other research output

Open Access
File

Cite this

Corin, R., & Etalle, S. (2002). An Improved Constraint-based system for the verification of security protocols. In M. V. Hermenegildo, & G. Puebla (Eds.), Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002, Proceedings (pp. 239-265). (Lecture Notes in Computer Science; Vol. 2477). Springer. https://doi.org/10.1007/3-540-45789-5_24

@inproceedings{5b3340c8abbe44f980e5ea3ba1be190f,

title = "An Improved Constraint-based system for the verification of security protocols",

abstract = "We propose a constraint-based system for the verification of security protocols that improves upon the one developed by Millen and Shmatikov. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect aws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. We also show why these improvements yield a more effective and practical system.",

keywords = "SCS-Cybersecurity, Security protocol, Mutual authentication, Cryptographic protocols, Parallel session, Strand space",

author = "Ricardo Corin and Sandro Etalle",

year = "2002",

month = sep,

doi = "10.1007/3-540-45789-5_24",

language = "English",

isbn = "978-3-540-44235-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "239--265",

editor = "Hermenegildo, {Manuel V.} and German Puebla",

booktitle = "Static Analysis",

address = "Germany",

note = "9th International Symposium on Static Analysis, SAS 2002, SAS ; Conference date: 17-09-2002 Through 20-09-2002",

}

Corin, R & Etalle, S 2002, An Improved Constraint-based system for the verification of security protocols. in MV Hermenegildo & G Puebla (eds), Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002, Proceedings. Lecture Notes in Computer Science, vol. 2477, Springer, Berlin, Heidelberg, pp. 239-265, 9th International Symposium on Static Analysis, SAS 2002, Madrid, Spain, 17/09/02. https://doi.org/10.1007/3-540-45789-5_24

An Improved Constraint-based system for the verification of security protocols. / Corin, Ricardo; Etalle, Sandro.
Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002, Proceedings. ed. / Manuel V. Hermenegildo; German Puebla. Berlin, Heidelberg: Springer, 2002. p. 239-265 (Lecture Notes in Computer Science; Vol. 2477).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An Improved Constraint-based system for the verification of security protocols

AU - Corin, Ricardo

AU - Etalle, Sandro

N1 - Conference code: 9

PY - 2002/9

Y1 - 2002/9

N2 - We propose a constraint-based system for the verification of security protocols that improves upon the one developed by Millen and Shmatikov. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect aws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. We also show why these improvements yield a more effective and practical system.

AB - We propose a constraint-based system for the verification of security protocols that improves upon the one developed by Millen and Shmatikov. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect aws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. We also show why these improvements yield a more effective and practical system.

KW - SCS-Cybersecurity

KW - Security protocol

KW - Mutual authentication

KW - Cryptographic protocols

KW - Parallel session

KW - Strand space

U2 - 10.1007/3-540-45789-5_24

DO - 10.1007/3-540-45789-5_24

M3 - Conference contribution

SN - 978-3-540-44235-6

T3 - Lecture Notes in Computer Science

SP - 239

EP - 265

BT - Static Analysis

A2 - Hermenegildo, Manuel V.

A2 - Puebla, German

PB - Springer

CY - Berlin, Heidelberg

T2 - 9th International Symposium on Static Analysis, SAS 2002

Y2 - 17 September 2002 through 20 September 2002

ER -

An Improved Constraint-based system for the verification of security protocols

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Research output

An Improved Constraint-Based System for the Verification of Security Protocols

Cite this