Model-Checking Secure Information Flow for Multi-threaded Programs.
Marieke HuismanHenri-Charles BlondeelPublished in: TOSCA (2011)
Keyphrases
- multi threaded
- information flow
- model checking
- reactive systems
- temporal logic
- formal specification
- social networks
- formal verification
- model checker
- verification method
- communication networks
- formal methods
- supply chain
- information security
- real time
- highly efficient
- control flow
- operating system
- graphical models
- information systems
- databases