Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Non-Interference with What-Declassification in Component-Based Systems

Reviewed Paper In Proceedings
Author(s):Simon Greiner and Daniel Grahl
In:29th IEEE Computer Security Foundations Symposium (CSF 2016)
Year:2016

BibTeX

@inproceedings{Grei16,
  year      = {2016},
  isbn      = {978-3-319-12279-3},
  booktitle = {29th IEEE Computer Security Foundations Symposium ({CSF} 2016)},
  title     = {Non-Interference with What-Declassification in Component-Based Systems},
  author    = {Simon Greiner and Daniel Grahl},
  month     = jun
}