%0 Conference Paper %1 conf/ccs/ChenW02 %A Chen, Hao %A Wagner, David A. %B ACM Conference on Computer and Communications Security %D 2002 %E Atluri, Vijayalakshmi %I ACM %K dblp %P 235-244 %T MOPS: an infrastructure for examining security properties of software. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2002.html#ChenW02 %@ 1-58113-612-9

@inproceedings{conf/ccs/ChenW02, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chen, Hao and Wagner, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2cc96fecfb1ea130dbcb012682099ed22/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2002}, editor = {Atluri, Vijayalakshmi}, ee = {https://doi.org/10.1145/586110.586142}, interhash = {f0e7b89c28c8f39f8793de474549dc35}, intrahash = {cc96fecfb1ea130dbcb012682099ed22}, isbn = {1-58113-612-9}, keywords = {dblp}, pages = {235-244}, publisher = {ACM}, timestamp = {2020-11-11T11:39:22.000+0100}, title = {MOPS: an infrastructure for examining security properties of software.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2002.html#ChenW02}, year = 2002 }