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

C. Gerking, D. Schubert, in: International Conference on Software Architecture (ICSA 2019), 2019.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
;
Publishing Year
Proceedings Title
International Conference on Software Architecture (ICSA 2019)
LibreCat-ID

Cite this

Gerking C, Schubert D. Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. In: International Conference on Software Architecture (ICSA 2019). ; 2019.
Gerking, C., & Schubert, D. (2019). Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. In International Conference on Software Architecture (ICSA 2019).
@inproceedings{Gerking_Schubert_2019, title={Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures}, booktitle={International Conference on Software Architecture (ICSA 2019)}, author={Gerking, Christopher and Schubert, David}, year={2019} }
Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” In International Conference on Software Architecture (ICSA 2019), 2019.
C. Gerking and D. Schubert, “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures,” in International Conference on Software Architecture (ICSA 2019), 2019.
Gerking, Christopher, and David Schubert. “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures.” International Conference on Software Architecture (ICSA 2019), 2019.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar