This paper argues that Haigh and Young's definition of noninterference for intransitive
security policies admits information flows that are not in accordance with the intuitions it …

The paper discusses the problem of model checking a number of noninterference properties
in finite state systems: Noninterference, Nondeducibility on Inputs, Generalised …

The focus of work on information flow security has primarily been on definitions of security in
asynchronous systems models. This paper considers systems with schedulers, which …

Noninterference is a notion of information flow security, originally defined for transitive
information flow policies. A number of different definitions of noninterference have been …

The paper considers the complexity of verifying that a finite state system satisfies a number
of definitions of information flow security. The systems model considered is one in which …

Abstract Information flow security concerns how to protect sensitive data in computer
systems by avoiding undesirable flow of information between the users of the systems. This …

Noninterference provides a control over information flow in a system for ensuring
confidentiality and integrity properties. In the literature this notion has been well studied as …

The goal of high assurance systems development by formal verification motivates the
investigation of techniques whereby a systems design or implementation can be formally …

Aiming at the main problem that the link between the formal definition of multilevel security
and security goal is not always clear, we propose a new definition of multilevel security …

Whether adversaries can glean information from a distributed system in a formal sense
hinges on the definition of such a system and what can be observed by those agents. In the …