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

@techreport{kramerhecker17report,
  title = {Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems},
  year = {2017},
  month = dec,
  number = {2017,12},
  author = {Max E. Kramer and Martin Hecker and Simon Greiner and Kaibin Bao and Kateryna Yurchenko},
  institution = {Department of Informatics, Karlsruhe Institute of Technology},
  series = {Karlsruhe Reports in Informatics},
  address = {Karlsruhe},
  doi = {10.5445/IR/1000076957},
}

Authors at the institute

Partner
Kaibin Bao

Former Staff Member
Dr.-Ing. Martin Hecker