Noninterference is a property of sequential programs that is useful for expressing security
policies for data confidentiality and integrity. However, extending noninterference to …

Access control mechanisms are often used with the intent of enforcing confidentiality and
integrity policies, but few rigorous connections have been made between information flow …

Abstract Information flow control allows untrusted code to access sensitive and trustworthy
information without leaking this information. However, the presence of covert channels …

When termination of a program is observable by an adversary, confidential information may
be leaked by terminating accordingly. While this termination covert channel has limited …

Boxed Ambients are a variant of Mobile Ambients that result from dropping the open
capability and introducing new primitives for ambient communication. The new model of …

We study information flow security in the setting of mobile agents. We propose a sufficient
condition to security named Persistent_BNDC. A process is Persistent_BNDC when every of …

Protection of confidential data is an important security consideration of today's applications.
Of particular concern is to guard against unintentional leakage to a (malicious) observer …

Abstract Language-based and process calculi-based information security are well
developed fields of computer security. Although these fields have much in common, it is …

Information flow control type systems statically restrict the propagation of sensitive data to
ensure end-to-end confidentiality. The property to be shown is noninterference, asserting …

Access control mechanisms are widely used with the intent of enforcing confidentiality and
other policies, but few formal connections have been made between information flow and …