252 search results - page 11 / 51 » Information-Flow Security for Interactive Programs |
SOSP
1997
ACM
14 years 10 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
CASSIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...