AbstractGiven a program that has access to some private information, how can we ensure that it does not improperly leak the information? We formalize the desired security property as a property called noninterference. We discuss versions of noninterference appropriate for multi-threaded programs with probabilistic scheduling and describe rules for ensuring noninterference
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
A program which has access to your sensitive data presents a security threat. Does the program kee...
A program which has access to your sensitive data presents a security threat. Does the program ke...
Noninterference is a property of sequential programs that is useful for expressing security policies...
AbstractWe show how to formulate and analyse some security notions in the context of declarative pro...
The problem of information flow in multithreaded programs remains an important open challenge. Exist...
Noninterference is a property of sequential programs that is useful for expressing security policies...
Confidentiality is an important concern in today's information society: electronic payment and perso...
In today's information-based society, guaranteeing information security plays an important role in a...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
We present a general unwinding framework for the definition of information flow security properties ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
A program which has access to your sensitive data presents a security threat. Does the program kee...
A program which has access to your sensitive data presents a security threat. Does the program ke...
Noninterference is a property of sequential programs that is useful for expressing security policies...
AbstractWe show how to formulate and analyse some security notions in the context of declarative pro...
The problem of information flow in multithreaded programs remains an important open challenge. Exist...
Noninterference is a property of sequential programs that is useful for expressing security policies...
Confidentiality is an important concern in today's information society: electronic payment and perso...
In today's information-based society, guaranteeing information security plays an important role in a...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
We present a general unwinding framework for the definition of information flow security properties ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
The formalisation of security properties for computer systems raises the problem of overcoming also ...
DOI
Add to ORKG