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