Sciweavers

Share
88 search results - page 1 / 18
» Secured Information Flow for Asynchronous Sequential Process...
Sort
View
ENTCS
2007
140views more  ENTCS 2007»
9 years 3 months ago
Secured Information Flow for Asynchronous Sequential Processes
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
Isabelle Attali, Denis Caromel, Ludovic Henrio, Fe...
POPL
2004
ACM
10 years 4 months ago
Asynchronous and deterministic objects
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
CSFW
2008
IEEE
9 years 10 months ago
Information Flow in Systems with Schedulers
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
Ron van der Meyden, Chenyi Zhang
CCS
2008
ACM
9 years 5 months ago
Asynchronous policy evaluation and enforcement
Evaluating and enforcing policies in large-scale networks is one of the most challenging and significant problems facing the network security community today. Current solutions ar...
Matthew Burnside, Angelos D. Keromytis
SP
2007
IEEE
126views Security Privacy» more  SP 2007»
9 years 10 months ago
Information Flow in the Peer-Reviewing Process
Michael Backes, Markus Dürmuth, Dominique Unr...
books