Sciweavers

23 search results - page 1 / 5
» csfw 2006
Sort
View
103
Voted
CSFW
2006
IEEE
15 years 9 months ago
Distributed Authorization Using Delegation with Acyclic Paths
Antonio Lain, Miranda Mowbray
107
Voted
CSFW
2006
IEEE
15 years 7 months ago
A Temporal Logic Characterisation of Observational Determinism
Marieke Huisman, Pratik Worah, Kim Sunesen
91
Voted
CSFW
2006
IEEE
15 years 9 months ago
Managing Policy Updates in Security-Typed Languages
Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zd...
121
Voted
CSFW
2006
IEEE
15 years 7 months ago
Verified Interoperable Implementations of Security Protocols
Karthikeyan Bhargavan, Cédric Fournet, Andr...
122
Voted
CSFW
2006
IEEE
15 years 7 months ago
Types and Effects for Secure Service Orchestration
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...