MOPS: an infrastructure for examining security properties of software

@inproceedings{citeulike:2341475, address = {New York, NY, USA}, author = {Chen, Hao and Wagner, David }, booktitle = {CCS '02: Proceedings of the 9th ACM conference on Computer and communications security}, citeulike-article-id = {2341475}, doi = {http://dx.doi.org/10.1145/586110.586142}, isbn = {1581136129}, keywords = {ccs02, defect\_search, model\_checking, mops, tocttou}, pages = {235--244}, posted-at = {2008-02-06 12:58:32}, priority = {0}, publisher = {ACM}, title = {MOPS: an infrastructure for examining security properties of software}, url = {http://dx.doi.org/10.1145/586110.586142}, year = {2002} }

TY - CONF ID - citeulike:2341475 L3 - citeulike-article-id:2341475 SN - 1581136129 AD - New York, NY, USA EP - 244 TI - MOPS: an infrastructure for examining security properties of software PB - ACM T2 - CCS '02: Proceedings of the 9th ACM conference on Computer and communications security SP - 235 KW - ccs02 KW - defect_search KW - model_checking KW - mops KW - tocttou AU - Chen, Hao AU - Wagner, David PY - 2002/// UR - http://dx.doi.org/10.1145/586110.586142 ER -