Misc3056

Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems

Max E. Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, Kateryna Yurchenko

Veröffentlichung: 2017 November
Art der Veröffentlichung: Karlsruhe Reports in Informatics, Technical Report
BibTeX

ISSN: 2190-4782
Weitere Informationen unter: Link
DOI Link: 10.5445/IR/1000076957

Projekt

KASTEL

Forschungsgruppe

Effiziente Algorithmen

Forschungsgebiet