%0 Conference Paper %1 conf/csfw/YasuokaT10 %A Yasuoka, Hirotoshi %A Terauchi, Tachio %B CSF %D 2010 %I IEEE Computer Society %K dblp %P 15-27 %T Quantitative Information Flow - Verification Hardness and Possibilities. %U http://dblp.uni-trier.de/db/conf/csfw/csf2010.html#YasuokaT10 %@ 978-0-7695-4082-5

@inproceedings{conf/csfw/YasuokaT10, added-at = {2023-06-26T00:00:00.000+0200}, author = {Yasuoka, Hirotoshi and Terauchi, Tachio}, biburl = {https://www.bibsonomy.org/bibtex/22ea19706ea30551549965b4e8df4bafd/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2010.9}, interhash = {e8a3c09a47918b8fb2c7ef301cd44630}, intrahash = {2ea19706ea30551549965b4e8df4bafd}, isbn = {978-0-7695-4082-5}, keywords = {dblp}, pages = {15-27}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:26.000+0200}, title = {Quantitative Information Flow - Verification Hardness and Possibilities.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2010.html#YasuokaT10}, year = 2010 }