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

Ricardo Corin; Sandro Etalle

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

Ricardo Corin, Sandro Etalle

Research output: Book/Report › Report › Other research output

43 Citations (Scopus)

3 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 [30]. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect flaws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. In this paper we also show why these improvements yield a more effective and practical system.

Original language	English
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	16
Publication status	Published - Jul 2002

Publication series

Name	CTIT technical reports series
Publisher	University of Twente, Centre for Telematics and Information Technology (CTIT)
No.	TR-CTIT-02-27
ISSN (Print)	1381-3625

Keywords

SCS-Cybersecurity
IR-63070
EWI-5865

Access to Document

Corin2002improved
restricted
Final published version, 221 KB

Fingerprint Dive into the research topics of 'An Improved Constraint-Based System for the Verification of Security Protocols'. Together they form a unique fingerprint.

Cite this

@book{3bc7f8670b454e2db2c293d0bd5d1232,

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 [30]. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect flaws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. In this paper we also show why these improvements yield a more effective and practical system.",

keywords = "SCS-Cybersecurity, IR-63070, EWI-5865",

author = "Ricardo Corin and Sandro Etalle",

year = "2002",

month = "7",

language = "English",

series = "CTIT technical reports series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "TR-CTIT-02-27",

address = "Netherlands",

}

TY - BOOK

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

AU - Corin, Ricardo

AU - Etalle, Sandro

PY - 2002/7

Y1 - 2002/7

N2 - We propose a constraint-based system for the verification of security protocols that improves upon the one developed by Millen and Shmatikov [30]. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect flaws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. In this paper 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 [30]. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect flaws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. In this paper we also show why these improvements yield a more effective and practical system.

KW - SCS-Cybersecurity

KW - IR-63070

KW - EWI-5865

M3 - Report

T3 - CTIT technical reports series

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

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -