13 search results - page 2 / 3 » Noninterference through Secure Multi-execution |
JLP
2010
12 years 11 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
TCS
2008
13 years 4 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
CCS
2004
ACM
13 years 10 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
CSFW
2004
IEEE
13 years 8 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
CSFW
2004
IEEE
13 years 8 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...