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

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
}