Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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:http://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},
  location      = {San Jose, California, USA},
  year          = {2014},
  month         = may,
  url           = {http://www.ieee-security.org/TC/SP2014/posters/KRAME.pdf}
}