@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
}
Non-Interference with What-Declassification in Component-Based Systems
| Autor(en): | Simon Greiner und Daniel Grahl |
|---|---|
| In: | 29th IEEE Computer Security Foundations Symposium (CSF 2016) |
| Jahr: | 2016 |