HOME | DEUTSCH | IMPRESSUM | KIT

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

[kramerhecker17report]Max E. Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, Kateryna Yurchenko, Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems, Department of Informatics, Karlsruhe Institute of Technology, Technical Report, Nr. 2017,12, Karlsruhe, December 2017.

Download

  [DOI]

BibTeX

Authors at the institute

Partner
Kaibin Bao
Former Staff Member
Dipl.-Inf. Univ. Martin Hecker