Observational determinism for concurrent program security
Authors:
- S. ZdancewicSZS. Zdancewic
- A.C. MyersAMA.C. Myers
- 24 January 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 29-43
Abstract
No abstract availableThis publication has 39 references indexed in Scilit:
- A simple view of type-secure information flow in the π-calculus2003
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Probabilistic noninterference for multi-threaded programs2002
- Static Confidentiality Enforcement for Distributed Programs2002
- Pointer analysis for multithreaded programs1999
- Process algebra and non-interference1999
- JFlow1999
- Security properties and CSP1996
- Trust in the λ-calculus1995
- Syntactic control of interference1978