@techreport{Kramer2017,
title = {Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems},
author = {{Max E.} Kramer and Martin Hecker and Simon Greiner and Kaibin Bao and Kateryna Yurchenko},
address = {Karlsruhe},
institution = {Department of Informatics, Karlsruhe Institute of Technology},
issn = {2190-4782},
series = {Karlsruhe Reports in Informatics},
year = {2017},
month = dec,
number = {2017,12},
doi = {10.5445/IR/1000076957}
}
Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems
| Author(s): | Max E. Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, and Kateryna Yurchenko |
|---|---|
| Institution: | Department of Informatics, Karlsruhe Institute of Technology |
| Series: | Karlsruhe Reports in Informatics |
| Number: | 2017,12 |
| Year: | 2017 |
| DOI: | 10.5445/IR/1000076957 |