Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing.
Daniel WasserrabDenis LohnerPublished in: VERIFY@IJCAR (2010)
Keyphrases
- information flow
- social networks
- flow analysis
- information flows
- flow graph
- provably correct
- communication networks
- supply chain
- learning objects
- information security
- multi threaded
- multi context systems
- information diffusion
- functional modules
- modal logic
- intelligent agents
- database management systems
- software engineering
- object oriented
- data model