Safety versus Secrecy
- 1 October 1999
- book chapter
- Published by Springer Nature
- p. 303-311
- https://doi.org/10.1007/3-540-48294-6_20
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A general theory of composition for trace sets closed under selective interleaving functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Eliminating covert flows with minimum typingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The SLam calculusPublished by Association for Computing Machinery (ACM) ,1998
- Secure information flow in a multi-threaded imperative languagePublished by Association for Computing Machinery (ACM) ,1998
- A sound type system for secure flow analysisJournal of Computer Security, 1996
- A Classification of Security Properties for Process Algebras1Journal of Computer Security, 1995