Dimensions and Principles of Declassification
- 6 July 2005
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 2021, 255-269
- https://doi.org/10.1109/csfw.2005.15
Abstract
No abstract availableThis publication has 37 references indexed in Scilit:
- Bridging Language-Based and Process Calculi SecurityPublished by Springer Nature ,2005
- Adjoining Declassification and Attack Models by Abstract InterpretationPublished by Springer Nature ,2005
- Stack-based access control and secure information flowJournal of Functional Programming, 2005
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Quantitative Analysis of the Leakage of Confidential DataElectronic Notes in Theoretical Computer Science, 2002
- Protecting privacy using the decentralized label modelACM Transactions on Software Engineering and Methodology, 2000
- A semantic approach to secure information flowScience of Computer Programming, 2000
- On abstraction and the expressive power of programming languagesScience of Computer Programming, 1993
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Information transmission in computational systemsACM SIGOPS Operating Systems Review, 1977