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 |
| 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 (BMFTR, 01BY1172 / 16BY1172) |