Model-driven specification and analysis of confidentiality in component-based systems / Max E. Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, and Kateryna Yurchenko ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2017, 12Publisher: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017Description: 1 Online-Ressource (34 Seiten, 1,51 MB) : IllustrationenGenre/Form: DOI: DOI: 10.5445/IR/1000076957Online resources: PPN: PPN: 1657363775No physical items for this record