Robust declassification
Top Cited Papers
- 29 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10636900,p. 15-23
- https://doi.org/10.1109/csfw.2001.930133
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- What is intransitive noninterference?Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Unwinding forward correctabilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A state-based approach to noninterferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Complete, safe information flow with decentralized labelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Connection policies and controlled interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Absorbing covers and intransitive non-interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Possibilistic definitions of security-an assembly kitPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Protecting privacy using the decentralized label modelACM Transactions on Software Engineering and Methodology, 2000
- JFlowPublished by Association for Computing Machinery (ACM) ,1999
- Forward and Backward SimulationsInformation and Computation, 1995