131
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
113
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
91
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
131
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
133
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...