Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

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

Technischer Bericht
Autor(en):Max E. Kramer, Martin Hecker, Simon Greiner, Kaibin Bao und Kateryna Yurchenko
Institution:Department of Informatics, Karlsruhe Institute of Technology
Reihe:Karlsruhe Reports in Informatics
Nummer:2017,12
Jahr:2017
DOI:10.5445/IR/1000076957

BibTeX

@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}
}