96 search results - page 4 / 20 » Modelling Downgrading in Information Flow Security |
SIGADA
2004
Springer
13 years 10 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
IFIP
2009
Springer
13 years 11 months ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
DBSEC
2003
13 years 6 months ago
2003
ENTCS
2007
13 years 5 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...
IASTEDSEA
2004
13 years 6 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...