%0 Conference Paper %1 conf/csfw/ZanariniJR13 %A Zanarini, Dante %A Jaskelioff, Mauro %A Russo, Alejandro %B CSF %D 2013 %I IEEE Computer Society %K dblp %P 18-32 %T Precise Enforcement of Confidentiality for Reactive Systems. %U http://dblp.uni-trier.de/db/conf/csfw/csf2013.html#ZanariniJR13 %@ 978-0-7695-5031-2

@inproceedings{conf/csfw/ZanariniJR13, added-at = {2023-06-26T00:00:00.000+0200}, author = {Zanarini, Dante and Jaskelioff, Mauro and Russo, Alejandro}, biburl = {https://www.bibsonomy.org/bibtex/2a2a0b3db2538b6fcf8ccb4e3570c42f6/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2013.9}, interhash = {c1e32c6d689508f39efe41acf0e8caba}, intrahash = {a2a0b3db2538b6fcf8ccb4e3570c42f6}, isbn = {978-0-7695-5031-2}, keywords = {dblp}, pages = {18-32}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:33.000+0200}, title = {Precise Enforcement of Confidentiality for Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2013.html#ZanariniJR13}, year = 2013 }