While intransitive noninterference is a natural property for any secure OS kernel to enforce,
proving that the implementation of any particular general-purpose kernel enforces this …

This paper presents a general theory of event compensation as an information flow security
enforcement mechanism for Cyber-Physical Systems (CPSs). The fundamental research …

We propose an approach to certify the information flow security of multi-threaded programs
independently from the scheduling algorithm. A scheduler-independent verification is …

Timeout mechanisms are a useful feature for web applications. However, these mechanisms
need to be used with care because, if used as-is, they are vulnerable to timing attacks. This …

End-to-End security of mobile code requires that the code neither intentionally nor
accidentally propagates sensitive information to an adversary. Although mobile code is …

Previous approaches to designing random pattern testable circuits use post-synthesis test
point insertion to eliminate random pattern resistant (rpr) faults. The approach taken in this …

Abstract Information security is a pressing challenge for mobile code technologies. In order
to claim end-to-end security of mobile code, it is necessary to establish that the code neither …

Nowadays, the security of information systems is of crucial importance. The large number of
detected security vulnerabilities in many systems indicates that new methods for developing …

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 …

This paper studies information flow security in a synchronous state machine model, in which
agents share a global clock and can make observations at all times, but in which an agent's …