Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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

Technical Report

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

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