Modular Verification of Information Flow Security in Component-Based Systems.

Simon Greiner Martin Mohr Bernhard Beckert

Published in: SEFM (2017)

Keyphrases

information flow
information security
reactive systems
supply chain
information flows
social networks
security systems
flow analysis
data analysis
emergency management
case study
distributed systems
model checking
flow graph