Static Confidentiality Enforcement for Distributed Programs
Authors:
- 5 September 2002
- book chapter
- Published by Springer Nature
- p. 376-394
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)*Journal of Cryptology, 2002
- Noninterference for Concurrent Programs2001
- Secrecy Types for Asymmetric Communication2001
- Transforming out timing leaks2000
- Secrecy by typing in security protocolsJournal of the ACM, 1999
- A core calculus of dependency1999
- A calculus for cryptographic protocols1997
- A Classification of Security Properties for Process Algebras1Journal of Computer Security, 1995
- Information transmission in computational systemsACM SIGOPS Operating Systems Review, 1977
- Certification of programs for secure information flowCommunications of the ACM, 1977