Search Sciweavers | Sciweavers

We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

claim paper

Read More »

17

click to vote

JCS
2007

103views more JCS 2007»

Risk management for distributed authorization

13 years 4 months ago

Download www.cs.uvm.edu

Distributed authorization takes into account several elements, including certiﬁcates that may be provided by non-local actors. While most trust management systems treat all asse...

Christian Skalka, Xiaoyang Sean Wang, Peter C. Cha...

claim paper

Read More »

15

click to vote

JCS
2007

141views more JCS 2007»

Compositional information flow security for concurrent programs

13 years 4 months ago

Download www.dsi.unive.it

We present a general unwinding framework for the deﬁnition of information ﬂow security properties of concurrent programs, described in a simple imperative language enriched wi...

Annalisa Bossi, Carla Piazza, Sabina Rossi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers