Abstract interpretation of operational semantics for secure information flow was discussed. This approach was based on the denotational semantics of the language. It was proved that this semantics correctly described the actual information flow within programs. An abstract semantics to ensure security of all executions was also defined
This paper presents a language in which information flow is securely controlled by a type system, ye...
This paper presents a language in which information flow is securely controlled by a type system, ye...
Securing communication in large scale distributed systems is an open problem. When multiple principa...
AbstractA classic problem in security is that of checking that a program has secure information flow...
This paper presents a technique for verifying secure information flow in concurrent programs consist...
Abstract The first part of the thesis investigates confidentiality, i.e. the problem of determining ...
We present a method based on abstract interpretation to check secure information flow in programs wi...
We give a formal definition of the notion of information flow for a simple guarded command language....
This paper presents an approach to analyze stack-based assembly code with respect to leakages of pri...
The language-based information flow security is a well established theory [Sabelfeld and Myers(2003)...
This paper proposes an extensional semantics-based formal specification of secure information-flow ...
We present a framework that supports an incremental and modular de-velopment process of secure softw...
AbstractWe propose a method to analyze secure information flow in stack-based assembly languages, co...
We propose a method to check secure information flow in concurrent programs with synchronization. T...
Language-based information flow methods offer a principled way to enforcestrong security properties,...
This paper presents a language in which information flow is securely controlled by a type system, ye...
This paper presents a language in which information flow is securely controlled by a type system, ye...
Securing communication in large scale distributed systems is an open problem. When multiple principa...
AbstractA classic problem in security is that of checking that a program has secure information flow...
This paper presents a technique for verifying secure information flow in concurrent programs consist...
Abstract The first part of the thesis investigates confidentiality, i.e. the problem of determining ...
We present a method based on abstract interpretation to check secure information flow in programs wi...
We give a formal definition of the notion of information flow for a simple guarded command language....
This paper presents an approach to analyze stack-based assembly code with respect to leakages of pri...
The language-based information flow security is a well established theory [Sabelfeld and Myers(2003)...
This paper proposes an extensional semantics-based formal specification of secure information-flow ...
We present a framework that supports an incremental and modular de-velopment process of secure softw...
AbstractWe propose a method to analyze secure information flow in stack-based assembly languages, co...
We propose a method to check secure information flow in concurrent programs with synchronization. T...
Language-based information flow methods offer a principled way to enforcestrong security properties,...
This paper presents a language in which information flow is securely controlled by a type system, ye...
This paper presents a language in which information flow is securely controlled by a type system, ye...
Securing communication in large scale distributed systems is an open problem. When multiple principa...
DOI
Add to ORKG