Verifying Observational Determinism
Open Access
- 9 May 2015
- book chapter
- Published by Springer Nature
- p. 82-93
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Effective verification of confidentiality for multi-threaded programsJournal of Computer Security, 2014
- Temporal Logics for Hyperproperties2014
- Model-Checking Secure Information Flow for Multi-threaded Programs2012
- A Type System for Observational Determinism2008
- Principles of Secure Information Flow Analysis2007
- An efficient algorithm for branching bisimulation and stuttering equivalence2005
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Verification of infinite-state dynamic systems using approximate quotient transition systemsIEEE Transactions on Automatic Control, 2001
- Proving Noninterference and Functional Correctness Using TracesJournal of Computer Security, 1992
- A lattice model of secure information flowCommunications of the ACM, 1976