A Trace Logic for Local Security Properties

Ricardo Corin, Antonio Durante, Sandro Etalle +1

We 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…