Searching for "Noninterference for Concurrent Programs." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Noninterference for Concurrent Programs
- … Noninterference for Concurrent Programs \Lambda Ge'rard Boudol and Ilaria Castellani INRIA…
- Cited by 20 (2 self) – Add To MetaCart
-
Noninterference for concurrent programs and thread systems
- … Noninterference for Concurrent Programs and Thread Systems \Lambda G'erard Boudol and Ilaria…
- Cited by 42 (2 self) – Add To MetaCart
-
Observational Determinism for Concurrent Program Security
- …. However, extending noninterference to concurrent programs has proved problematic. In this paper we present…
- Cited by 29 (6 self) – Add To MetaCart
-
Secure information flow in a multi-threaded imperative language
- … the sequential type system, we are able to guarantee noninterference for concurrent programs. Crucial…
- Cited by 152 (5 self) – Add To MetaCart
-
Formally verifying information flow type systems for concurrent and thread systems
- … of non-interference for concurrent programs often aim at guaranteeing that the confidential data…
- Cited by 7 (0 self) – Add To MetaCart
-
G.: Automaton-based Confidentiality Monitoring of Concurrent Programs
- … with confidentiality, more precisely with noninterference in concurrent programs. This notion has first been introduced…
- Cited by 6 (1 self) – Add To MetaCart
-
Adjoining declassification and attack models by abstract interpretation
- … comprehensive treatment of non-interference for concurrent programs in process algebras, where attackers…
- Cited by 14 (7 self) – Add To MetaCart
Showing 1 through 7.
