@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 = jul,
language = "English",
series = "CTIT technical reports series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-02-27",
address = "Netherlands",
}