Preserving Secrecy Under Refinement
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 107-118
- https://doi.org/10.1007/11787006_10
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Secure Information Flow as a Safety ProblemLecture Notes in Computer Science, 2005
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- A general theory of composition for trace sets closed under selective interleaving functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Preserving information flow properties under refinementPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Secrecy-Preserving RefinementLecture Notes in Computer Science, 2001
- MOCHA: Modularity in model checkingLecture Notes in Computer Science, 1998
- Protection in programming-language translationsLecture Notes in Computer Science, 1998
- A compositional rule for hardware design refinementLecture Notes in Computer Science, 1997
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992