%0 Conference Paper %1 conf/csfw/RafnssonS14 %A Rafnsson, Willard %A Sabelfeld, Andrei %B CSF %D 2014 %I IEEE Computer Society %K %P 277-292 %T Compositional Information-Flow Security for Interactive Systems. %U http://dblp.uni-trier.de/db/conf/csfw/csf2014.html#RafnssonS14 %@ 978-1-4799-4290-9

@inproceedings{conf/csfw/RafnssonS14, added-at = {2023-12-13T06:53:03.000+0100}, author = {Rafnsson, Willard and Sabelfeld, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2d5d54095dd165b93d7eed206dcd42817/admin}, booktitle = {CSF}, crossref = {conf/csfw/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2014.27}, interhash = {b2cdaa810fd3e3be0f0054ee823a2d25}, intrahash = {d5d54095dd165b93d7eed206dcd42817}, isbn = {978-1-4799-4290-9}, keywords = {}, pages = {277-292}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T06:53:03.000+0100}, title = {Compositional Information-Flow Security for Interactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2014.html#RafnssonS14}, year = 2014 }