83 search results - page 1 / 17 » Secured Information Flow for Asynchronous Sequential Process... |
ENTCS
2007
13 years 10 months ago
2007
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...
POPL
2004
ACM
14 years 11 months ago
2004
ACM
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 ...
CSFW
2008
IEEE
14 years 5 months ago
2008
IEEE
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...
CCS
2008
ACM
14 years 25 days ago
2008
ACM
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...
SP
2007
IEEE
14 years 5 months ago
2007
IEEE
