{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T01:12:16Z","timestamp":1725412336829},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/icnp.2013.6733667","type":"proceedings-article","created":{"date-parts":[[2014,2,13]],"date-time":"2014-02-13T21:06:15Z","timestamp":1392325575000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Eliminating network protocol vulnerabilities through abstraction and systems language design"],"prefix":"10.1109","author":[{"given":"C.","family":"Jasson Casey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Sutton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Dos Reis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Sprintson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Abstract Syntax Notation One (ASN 1) Technical Report","year":"2002","key":"15"},{"key":"13","first-page":"295","article-title":"A system for axiomatic programming","author":"dos reis","year":"2012","journal-title":"AISC\/MKM\/- Calculemus"},{"journal-title":"Elements of Programming","year":"2009","author":"stepanov","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1177080.1177119"},{"key":"3","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1007\/978-3-540-71316-6_35","article-title":"Dependent types for low-level programming","author":"condit","year":"2007","journal-title":"Programming Languages and Systems"},{"journal-title":"Datascript-A Specification and Scripting Language for Binary Data","year":"2002","author":"back","key":"2"},{"journal-title":"The CAIDA Anonymized 2012 Internet Traces - 20120119-125903","year":"0","key":"1"},{"key":"10","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/347059.347563","article-title":"Packet types: Abstract specification of network protocol messages","author":"mccann","year":"2000","journal-title":"Proceedings of the Conference on Applications Technologies Architectures and Protocols for Computer Communication SIGCOMM '00"},{"journal-title":"United States Computer Emergency Readiness Team","year":"2012","key":"7"},{"journal-title":"Protocol Buffers","year":"2012","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111039"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065046"},{"journal-title":"AXIOM The Scientific Computation System","year":"1992","author":"jenks","key":"9"},{"journal-title":"International Organization for Standards International Standard ISO\/IEC 14882","year":"2003","key":"8"}],"event":{"name":"2013 21st IEEE International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2013,10,7]]},"location":"Goettingen, Germany","end":{"date-parts":[[2013,10,10]]}},"container-title":["2013 21st IEEE International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6718434\/6733561\/06733667.pdf?arnumber=6733667","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:53:54Z","timestamp":1602687234000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6733667"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icnp.2013.6733667","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}