A Trace Logic for Local Security Properties

Simple item page
dc.creatorCorin, Ricardo
dc.creatorDurante, Antonio
dc.creatorEtalle, Sandro
dc.creatorHartel, Pieter
dc.date2004-11-05
dc.date2004-11-30
dc.date.accessioned2026-07-07T03:21:57Z
dc.date.available2026-07-07T03:21:57Z
dc.descriptionWe propose a new simple \emph{trace} logic that can be used to specify \emph{local security properties}, i.e. security properties that refer to a single participant of the protocol specification. Our technique allows a protocol designer to provide a formal specification of the desired security properties, and integrate it naturally into the design process of cryptographic protocols. Furthermore, the logic can be used for formal verification. We illustrate the utility of our technique by exposing new attacks on the well studied protocol TMN.
dc.descriptionNew version
dc.identifierhttps://arxiv.org/abs/cs/0411010
dc.identifierhttp://arxiv.org/abs/cs/0411010
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32405
dc.subjectCryptography and Security
dc.titleA Trace Logic for Local Security Properties
dc.typetext

Files

Collections

arXiv