Startseite > Publikationen > Publikationen

Publikationen

Gerking, Christopher;Schubert, David;Bodden, Eric:

Model Checking the Information Flow Security of Real-Time Systems.

In: International Symposium on Engineering Secure Software and Systems (ESSoS 2018), Nr. 10953, S. 27-43, 26. - 27. Jun. 2018, Springer

Weblink

https://doi.org/10.1007/978-3-319-94496-8_3

Bibtex

@inproceedings{hniid=9730,
author = {Gerking, Christopher and Schubert, David and Bodden, Eric},
title = {Model Checking the Information Flow Security of Real-Time Systems},
booktitle = {International Symposium on Engineering Secure Software and Systems (ESSoS 2018)},
number = {10953},
pages = {27-43},
publisher = {Springer},
month = {26~-~27~} # jun,
year = {2018},
}

BibTeX in die Zwischenablage kopieren

Permalink

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