Add to ORKGIn programming language research, information-flow control (IFC) is a technique for enforcing a variety of security aspects, such as confidentiality of data,on programs. This Licenciate thesis makes novel contributions to the theory and foundations of IFC in the following ways: Chapter A presents a new proof method for showing the usual desired property of noninterference; Chapter B shows how to securely extend the concurrent IFC language MAC with asynchronous exceptions; and, Chapter C presents a new and simpler language for IFC with effects based on an explicit separation of pure and effectful computations
This tutorial provides a complete and homogeneous account of the latestadvances in fine- and coarse-...
Detecting information flows inside a program is useful to check non-interference or independence of ...
AbstractDetecting information flows inside a program is useful to check non-interference or independ...
In programming language research, information-flow control (IFC) is a technique for enforcing a vari...
Language-based information flow control (IFC) promises to secure computer programs against malicious...
Information Flow Control (IFC) is a principled approach to protecting the confidentiality and integr...
Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows w...
Many state-of-the-art IFC libraries support a variety of advanced features like mutuable data struct...
The programming language Haskell plays a unique, privileged role in information-flow control (IFC) r...
Information flow control (IFC) is a category of techniques for enforcing information flow properties...
Information flow control (IFC) is a category of techniques for ensuring system security by enf...
As more and more sensitive data is handled by software, its trustworthinessbecomes an increasingly i...
An emerging problem in systems security is controlling how a program uses the data it has access to...
Information flow control (IFC) is a technique to assert the security of a given program with respect...
Language-based information-flow control (IFC) techniques often rely on special purpose, ad-hoc primi...
This tutorial provides a complete and homogeneous account of the latestadvances in fine- and coarse-...
Detecting information flows inside a program is useful to check non-interference or independence of ...
AbstractDetecting information flows inside a program is useful to check non-interference or independ...
In programming language research, information-flow control (IFC) is a technique for enforcing a vari...
Language-based information flow control (IFC) promises to secure computer programs against malicious...
Information Flow Control (IFC) is a principled approach to protecting the confidentiality and integr...
Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows w...
Many state-of-the-art IFC libraries support a variety of advanced features like mutuable data struct...
The programming language Haskell plays a unique, privileged role in information-flow control (IFC) r...
Information flow control (IFC) is a category of techniques for enforcing information flow properties...
Information flow control (IFC) is a category of techniques for ensuring system security by enf...
As more and more sensitive data is handled by software, its trustworthinessbecomes an increasingly i...
An emerging problem in systems security is controlling how a program uses the data it has access to...
Information flow control (IFC) is a technique to assert the security of a given program with respect...
Language-based information-flow control (IFC) techniques often rely on special purpose, ad-hoc primi...
This tutorial provides a complete and homogeneous account of the latestadvances in fine- and coarse-...
Detecting information flows inside a program is useful to check non-interference or independence of ...
AbstractDetecting information flows inside a program is useful to check non-interference or independ...