trace logic for local security properties


Corin, Ricardo and Durante, Antonio and Etalle, Sandro and Hartel, Pieter (2003) trace logic for local security properties. [Report]

open access
Abstract:We propose a new simple trace logic that can be used to specify local security properties, i.e. security properties that refer to a single participant of the protocol specication. Our technique allows a protocol designer to provide formal specication of the desired security properties, and integrate them naturally to the design process of cryptographic protocols. Furthermore, the logic can be used for formal verication. We illustrate the utility of our technique by exposing new attacks on the well studied protocol TMN.
Item Type:Report
Copyright:© 2003 CTIT
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page