Current standard security practices do not provide substantial assurance that the end-to-end
behavior of a computing system satisfies important security policies such as confidentiality …

Attacks against computer systems can cause considerable economic or physical damage.
High-quality development of security-critical systems is difficult, mainly because of the …

Several information flow security definitions, proposed in the literature, are generalized and
adapted to the model of labelled transition systems. This very general model has been …

In the recent years, many formalizations of security properties have been proposed, most of
which are based on different underlying models and are consequently difficult to compare. A …

We introduce a general framework for reasoning about secrecy requirements in multiagent
systems. Our definitions extend earlier definitions of secrecy and nondeducibility given by …

We consider the problem of defining an appropriate notion of non-interference (NI) for
deterministic interactive programs. Previous work on the security of interactive programs by …

To be practical, systems for ensuring secure information flow must be as permissive as
possible. To this end, the author recently proposed a type system for multi-threaded …

Databases can leak confidential information when users combine query results with
probabilistic data dependencies and prior knowledge. Current research offers mechanisms …

In previous work, we studied some noninterference properties for information flow analysis
in computer systems on classic (possibilistic) labeled transition systems. In this paper, some …

Security is a rapidly growing area of computer science, with direct and increasing relevance
to real life applications such as Internet transactions, electronic commerce, information …