%0 Conference Paper %1 conf/csfw/GreinerG16 %A Greiner, Simon %A Grahl, Daniel %B CSF %D 2016 %I IEEE Computer Society %K %P 253-267 %T Non-interference with What-Declassification in Component-Based Systems. %U http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#GreinerG16 %@ 978-1-5090-2607-4

@inproceedings{conf/csfw/GreinerG16, added-at = {2023-12-14T16:36:38.000+0100}, author = {Greiner, Simon and Grahl, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2754b980430581c3dd7d9e5b9bbcd2f66/admin}, booktitle = {CSF}, crossref = {conf/csfw/2016}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2016.25}, interhash = {fa85d43c12dacf02dbdcb120ef407f36}, intrahash = {754b980430581c3dd7d9e5b9bbcd2f66}, isbn = {978-1-5090-2607-4}, keywords = {}, pages = {253-267}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T16:36:38.000+0100}, title = {Non-interference with What-Declassification in Component-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#GreinerG16}, year = 2016 }