On Provable Security for Complex Systems

Dirk Achenbach. On Provable Security for Complex Systems. PhD thesis, Karlsruhe Institute of Technology, 2016. [doi]

@phdthesis{de-5951,
  title = {On Provable Security for Complex Systems},
  author = {Dirk Achenbach},
  year = {2016},
  url = {http://d-nb.info/1084112426},
  researchr = {https://researchr.org/publication/de-5951},
  cites = {0},
  citedby = {0},
  school = {Karlsruhe Institute of Technology},
}