JCS 2007 - PDF Preprint Papers

JCS 2007

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JCS-2007 Paper

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 »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	141	Compositional information flow security for concurrent programs	claim
2	120	Dynamic types for authentication	claim
3	103	Risk management for distributed authorization	claim
4	84	On the security of group communication schemes	claim
5	80	Secure information flow for a concurrent language with scheduling	claim
6	69	Timed analysis of security protocols	claim
7	56	Parity-based inference control for multi-dimensional range sum queries	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers