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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Simon Greiner und Daniel Grahl
In:29th IEEE Computer Security Foundations Symposium (CSF 2016)
Jahr: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
}