Sciweavers

23 search results - page 1 / 5

» csfw 2006

10

CSFW
2006
IEEE

110views Security Privacy» more CSFW 2006»

Distributed Authorization Using Delegation with Acyclic Paths

13 years 11 months ago

Distributed Authorization Using Delegation with Acyclic Paths

Download www.hpl.hp.com

Antonio Lain, Miranda Mowbray

claim paper

Read More »

7

CSFW
2006
IEEE

100views Security Privacy» more CSFW 2006»

A Temporal Logic Characterisation of Observational Determinism

13 years 8 months ago

A Temporal Logic Characterisation of Observational Determinism

Download www.loria.fr

Marieke Huisman, Pratik Worah, Kim Sunesen

claim paper

Read More »

11

CSFW
2006
IEEE

92views Security Privacy» more CSFW 2006»

Managing Policy Updates in Security-Typed Languages

13 years 11 months ago

Managing Policy Updates in Security-Typed Languages

Download www.cs.umd.edu

Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zd...

claim paper

Read More »

10

CSFW
2006
IEEE

118views Security Privacy» more CSFW 2006»

Verified Interoperable Implementations of Security Protocols

13 years 8 months ago

Verified Interoperable Implementations of Security Protocols

Download research.microsoft.com

Karthikeyan Bhargavan, Cédric Fournet, Andr...

claim paper

Read More »

13

CSFW
2006
IEEE

146views Security Privacy» more CSFW 2006»

Types and Effects for Secure Service Orchestration

13 years 8 months ago

Types and Effects for Secure Service Orchestration

Download www.di.unipi.it

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...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »