Home > Publications > 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), number 10953, pp. 27-43, June 26 - 27, 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},
}

Copy bibTeX to clipboard

Permalink

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