Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.
Christopher GerkingDavid SchubertPublished in: Software Engineering (2021)
Keyphrases
- information flow
- security policies
- cyber physical
- social networks
- access control
- network security
- distributed systems
- physical world
- model checking
- information flows
- information security
- access control policies
- network management
- social network analysis
- cyber physical systems
- supply chain
- communication networks
- physical space
- virtual environment
- intrusion detection system
- intrusion detection
- intelligent systems
- decision support
- situation awareness
- metadata