Probabilistic Noninterference in a Concurrent Language. Volpano, D. M. & Smith, G. In CSFW, pages 34-43, 1998. IEEE Computer Society. Paper Link bibtex @inproceedings{ conf/csfw/VolpanoS98,
added-at = {2013-09-19T00:00:00.000+0200},
author = {Volpano, Dennis M. and Smith, Geoffrey},
biburl = {http://www.bibsonomy.org/bibtex/2286c4a2dd9f6c7d4a0d847f3ddb8ae80/dblp},
booktitle = {CSFW},
crossref = {conf/csfw/1998},
ee = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1998.683153},
interhash = {76e25dfa57e1c2698439edfc70af0246},
intrahash = {286c4a2dd9f6c7d4a0d847f3ddb8ae80},
isbn = {0-8186-8488-7},
keywords = {dblp},
pages = {34-43},
publisher = {IEEE Computer Society},
title = {Probabilistic Noninterference in a Concurrent Language.},
url = {http://dblp.uni-trier.de/db/conf/csfw/csfw1998.html#VolpanoS98},
year = {1998}
}
Downloads: 0
{"_id":{"_str":"537c54bbb3aa042605005dd5"},"__v":0,"authorIDs":[],"author_short":["Volpano, D.<nbsp>M.","Smith, G."],"bibbaseid":"volpano-smith-probabilisticnoninterferenceinaconcurrentlanguage-1998","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"volpano-smith-probabilisticnoninterferenceinaconcurrentlanguage-1998","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/csfw/csfw1998.html#VolpanoS98","Link":"http://doi.ieeecomputersociety.org/10.1109/CSFW.1998.683153"},"role":"author","year":"1998","url":"http://dblp.uni-trier.de/db/conf/csfw/csfw1998.html#VolpanoS98","type":"inproceedings","title":"Probabilistic Noninterference in a Concurrent Language.","publisher":"IEEE Computer Society","pages":"34-43","keywords":"dblp","key":"conf/csfw/VolpanoS98","isbn":"0-8186-8488-7","intrahash":"286c4a2dd9f6c7d4a0d847f3ddb8ae80","interhash":"76e25dfa57e1c2698439edfc70af0246","id":"conf/csfw/VolpanoS98","ee":"http://doi.ieeecomputersociety.org/10.1109/CSFW.1998.683153","crossref":"conf/csfw/1998","booktitle":"CSFW","biburl":"http://www.bibsonomy.org/bibtex/2286c4a2dd9f6c7d4a0d847f3ddb8ae80/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/csfw/VolpanoS98,\n added-at = {2013-09-19T00:00:00.000+0200},\n author = {Volpano, Dennis M. and Smith, Geoffrey},\n biburl = {http://www.bibsonomy.org/bibtex/2286c4a2dd9f6c7d4a0d847f3ddb8ae80/dblp},\n booktitle = {CSFW},\n crossref = {conf/csfw/1998},\n ee = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1998.683153},\n interhash = {76e25dfa57e1c2698439edfc70af0246},\n intrahash = {286c4a2dd9f6c7d4a0d847f3ddb8ae80},\n isbn = {0-8186-8488-7},\n keywords = {dblp},\n pages = {34-43},\n publisher = {IEEE Computer Society},\n title = {Probabilistic Noninterference in a Concurrent Language.},\n url = {http://dblp.uni-trier.de/db/conf/csfw/csfw1998.html#VolpanoS98},\n year = {1998}\n}","author_short":["Volpano, D.<nbsp>M.","Smith, G."],"author":["Volpano, Dennis M.","Smith, Geoffrey"],"added-at":"2013-09-19T00:00:00.000+0200"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Smith?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["probabilistic","noninterference","concurrent","language","volpano","smith"],"title":"Probabilistic Noninterference in a Concurrent Language.","year":1998,"dataSources":["DvJyE8CDhC2bX8rnN"]}