3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.CR2005★ 1 cited
Integrity Constraints in Trust Management
Sandro Etalle, William H. Winsborough
We introduce the use, monitoring, and enforcement of integrity constraints in trust management-style authorization systems. We consider what portions of the policy state must be mo…
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…