activity
20002005
most citedA Trace Logic for Local Security Properties

3 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing 2005Show all

2 papers · 1 filter

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…