KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo

Specification and Verification of Confidentiality in Component-Based Systems

Kramer, Max E.; Hergenröder, Anton; Hecker, Martin; Greiner, Simon; Bao, Kaibin



Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Poster
Jahr 2014
Sprache Englisch
Identifikator KITopen ID: 1000069694
HGF-Programm 46.12.03; LK 01
Erschienen in 35th IEEE Symposium on Security and Privacy, San Jose, California, May 18-21, 2014
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page