Startseite > Publikationen > Publikationen

Publikationen

Gerking, Christopher;Schubert, David:

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

In: International Conference on Software Architecture (ICSA 2019), 26. - 29. Mrz. 2019

Bibtex

@inproceedings{hniid=9850,
author = {Gerking, Christopher and Schubert, David},
title = {Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures},
booktitle = {International Conference on Software Architecture (ICSA 2019)},
month = {26~-~29~} # mar,
year = {2019},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/9850