{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T10:06:34Z","timestamp":1784109994004,"version":"3.55.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/icnp.2008.4697030","type":"proceedings-article","created":{"date-parts":[[2008,12,9]],"date-time":"2008-12-09T21:55:37Z","timestamp":1228859737000},"page":"114-123","source":"Crossref","is-referenced-by-count":25,"title":["A model-based approach to security flaw detection of network protocol implementations"],"prefix":"10.1109","author":[{"given":"Yating","family":"Hsu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guoqiang","family":"Shu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.55"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"18","article-title":"automatic protocol format reverse engineering through context-aware monitored execution","author":"lin","year":"2008","journal-title":"Proceedings of 15th Network and Distributed System Security Symposium (NDSS)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35413-2_16"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.1993.340917"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MSECP.2003.1176996"},{"key":"14","first-page":"135","article-title":"detours: binary interception of win32 functions","author":"hunt","year":"1999","journal-title":"USENIX Windows NT Symposium"},{"key":"11","author":"gordon","year":"2005","journal-title":"CSI\/FBI Computer Crime and Security Survey"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2006.06.001"},{"key":"21","article-title":"black-box checking","author":"peled","year":"1999","journal-title":"Proceedings of IFIP FORTE\/PSTV"},{"key":"20","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-61863-5_34","article-title":"limits of exact algorithms for inference of minimum size finite state machines","author":"oliveira","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"key":"22","year":"0","journal-title":"The Pidgin Project"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68855-6_19"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2007.147"},{"key":"25","year":"0","journal-title":"US-CERT Vulnerability Notes"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.1995.524819"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/12.54853"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.109"},{"key":"1","year":"0","journal-title":"The Amsn Project"},{"key":"7","article-title":"discoverer: automatic protocol reverse engineering from network traces","author":"cui","year":"2007","journal-title":"The 16th USENIX Security Symposium"},{"key":"6","author":"cormen","year":"1990","journal-title":"Introduction to Algorithms"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"4","article-title":"towards automatic discovery of deviations in binary implementations with applications to error detection and fingerprint generation","author":"brumley","year":"2007","journal-title":"Proceedings of USENIX Security Symposium"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"}],"event":{"name":"2008 IEEE International Conference on Network Protocols (ICNP)","location":"Orlando, FL, USA","start":{"date-parts":[[2008,10,19]]},"end":{"date-parts":[[2008,10,22]]}},"container-title":["2008 IEEE International Conference on Network Protocols"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4690865\/4697012\/04697030.pdf?arnumber=4697030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T14:34:20Z","timestamp":1497796460000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4697030\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icnp.2008.4697030","relation":{},"ISSN":["1092-1648"],"issn-type":[{"value":"1092-1648","type":"print"}],"subject":[],"published":{"date-parts":[[2008,10]]}}}