On Declassification and the Non-Disclosure Policy
- 6 July 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 42 references indexed in Scilit:
- A monadic analysis of information flow security with mutable stateJournal of Functional Programming, 2005
- Semantic models for information flowTheoretical Computer Science, 2004
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Information flow inference for MLACM Transactions on Programming Languages and Systems, 2003
- Noninterference for concurrent programs and thread systemsTheoretical Computer Science, 2002
- Protecting privacy using the decentralized label modelACM Transactions on Software Engineering and Methodology, 2000
- An Axiomatic Approach to Information Flow in ProgramsACM Transactions on Programming Languages and Systems, 1980
- Information transmission in computational systemsACM SIGOPS Operating Systems Review, 1977
- A lattice model of secure information flowCommunications of the ACM, 1976
- A note on the confinement problemCommunications of the ACM, 1973