@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
Author(s): | Max E. Kramer, Anton Hergenröder, Martin Hecker, Simon Greiner, and Kaibin Bao |
---|---|
In: | 35th IEEE Symposium on Security and Privacy, Poster Reception |
Year: | 2014 |
URL: | https://www.ieee-security.org/TC/SP2014/posters/KRAME.pdf |