Add to ORKGThis article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is indexed by the choice of flow lattice
This paper seeks to answer fundamental questions about trade-offs between static and dynamic securit...
This paper describes the design, analysis, and implementation of an efficient algorithm for informat...
If we classify variables in a program into various security levels, then a secure information flow a...
This article investigates formal properties of a family of semantically sound flow-sensitive type sy...
Dynamic information flow policies, such as declassification, are essential for practically useful in...
Ensuring secure information flow within programs in the context of multiple sensitivity levels has b...
In this paper, we develop a novel notion of dependent information flow types. Dependent information ...
This paper investigates mechanisms that guarantee secure information flow in a computer system. Thes...
Security is rarely a static notion. What is considered to be confidential or untrusted data varies o...
In this paper, we develop a novel notion of dependent information flow types. Dependent information ...
Security is rarely a static notion. What is considered to be confidential or untrusted data varies o...
Information flow control is central to computer security. The objective of information flow control ...
AbstractA classic problem in security is that of checking that a program has secure information flow...
The article of record as published may be located at http://dx.doi.org/10.1016/S0167-4048(97)00002...
Language-based information flow control (IFC) aims to provide guarantees about information propagati...
This paper seeks to answer fundamental questions about trade-offs between static and dynamic securit...
This paper describes the design, analysis, and implementation of an efficient algorithm for informat...
If we classify variables in a program into various security levels, then a secure information flow a...
This article investigates formal properties of a family of semantically sound flow-sensitive type sy...
Dynamic information flow policies, such as declassification, are essential for practically useful in...
Ensuring secure information flow within programs in the context of multiple sensitivity levels has b...
In this paper, we develop a novel notion of dependent information flow types. Dependent information ...
This paper investigates mechanisms that guarantee secure information flow in a computer system. Thes...
Security is rarely a static notion. What is considered to be confidential or untrusted data varies o...
In this paper, we develop a novel notion of dependent information flow types. Dependent information ...
Security is rarely a static notion. What is considered to be confidential or untrusted data varies o...
Information flow control is central to computer security. The objective of information flow control ...
AbstractA classic problem in security is that of checking that a program has secure information flow...
The article of record as published may be located at http://dx.doi.org/10.1016/S0167-4048(97)00002...
Language-based information flow control (IFC) aims to provide guarantees about information propagati...
This paper seeks to answer fundamental questions about trade-offs between static and dynamic securit...
This paper describes the design, analysis, and implementation of an efficient algorithm for informat...
If we classify variables in a program into various security levels, then a secure information flow a...