3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.CR2005★ 1 cited
Timed Analysis of Security Protocols
R. Corin, S. Etalle, P. H. Hartel +1
We propose a method for engineering security protocols that are aware of timing aspects. We study a simplified version of the well-known Needham Schroeder protocol and the complete…
cs.CR2004★ 3 cited
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…