Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Poster: Specification and Verification of Confidentiality in Component-Based Systems

Reviewed Paper In Proceedings
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

BibTeX

@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}
}