@InProceedings{Kramer2014,
author = {Max E. Kramer and Anton Hergenr\"{o}der and
Martin Hecker and Simon Greiner and Kaibin Bao},
title = {Poster: Specification and Verification of
Confidentiality in Component-Based Systems},
booktitle = {35th IEEE Symposium on Security
and Privacy, Poster Reception},
venue = {San Jose, California, USA},
year = {2014},
month = may,
url = {https://www.ieee-security.org/TC/SP2014/posters/KRAME.pdf}
}
Poster: Specification and Verification of Confidentiality in Component-Based Systems
| Autor(en): | Max E. Kramer, Anton Hergenröder, Martin Hecker, Simon Greiner und Kaibin Bao |
|---|---|
| In: | 35th IEEE Symposium on Security and Privacy, Poster Reception |
| Jahr: | 2014 |
| URL: | https://www.ieee-security.org/TC/SP2014/posters/KRAME.pdf |