Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.

Christopher Gerking, David Schubert

Browse the full ICSA paper archive.