Formal verification of information flow security for a simple arm-based separation kernel.
Mads DamRoberto GuancialeNarges KhakpourHamed NematiOliver SchwarzPublished in: CCS (2013)
Keyphrases
- information flow
- formal verification
- information security
- flow analysis
- automated verification
- communication networks
- social networks
- flow graph
- information flows
- supply chain
- functional modules
- symbolic model checking
- emergency management
- model checking
- support vector
- model checker
- reactive systems
- data sources
- bounded model checking
- multi context systems
- multi threaded
- information propagation
- feature space
- information systems