Observational determinism for concurrent program security
- 24 January 2004
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1, 29-43
- https://doi.org/10.1109/csfw.2003.1212703
Abstract
No abstract availableThis publication has 39 references indexed in Scilit:
- A simple view of type-secure information flow in the π-calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Probabilistic noninterference for multi-threaded programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Static Confidentiality Enforcement for Distributed ProgramsPublished by Springer Nature ,2002
- Pointer analysis for multithreaded programsPublished by Association for Computing Machinery (ACM) ,1999
- Process algebra and non-interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- JFlowPublished by Association for Computing Machinery (ACM) ,1999
- Security properties and CSPPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1996
- Trust in the λ-calculusPublished by Springer Nature ,1995
- Syntactic control of interferencePublished by Association for Computing Machinery (ACM) ,1978