KIT | KIT-Bibliothek | Impressum | Datenschutz

Specification and Verification of Confidentiality in Component-Based Systems

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


Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Poster
Publikationsjahr 2014
Sprache Englisch
Identifikator KITopen-ID: 1000069694
HGF-Programm 46.12.03 (POF II, LK 01)
Veranstaltung 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