{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:00:18Z","timestamp":1783008018275,"version":"3.54.5"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/glocom.2012.6503217","type":"proceedings-article","created":{"date-parts":[[2013,4,26]],"date-time":"2013-04-26T19:29:23Z","timestamp":1367004563000},"page":"839-844","source":"Crossref","is-referenced-by-count":6,"title":["IRONSIDES: DNS with no single-packet denial of service or remote code execution vulnerabilities"],"prefix":"10.1109","author":[{"given":"Martin","family":"Carlisle","sequence":"first","affiliation":[{"name":"Department of Computer Science, US Air Force Academy, USAFA, CO USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barry","family":"Fagin","sequence":"additional","affiliation":[{"name":"Department of Computer Science, US Air Force Academy, USAFA, CO USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","year":"0","journal-title":"DNS for Rocket Scientists"},{"key":"22","year":"0","journal-title":"Comparison of DNS Server Software"},{"key":"17","article-title":"Domain names -implementation and specification","author":"mockapetris","year":"1987","journal-title":"RFC 1035"},{"key":"18","article-title":"Extension mechanisms for DNS (EDNS0)","author":"vixie","year":"1999","journal-title":"RFC 2671"},{"key":"15","year":"0"},{"key":"16","article-title":"Domain names - Concepts and facilities","author":"mockapetris","year":"1987","journal-title":"RFC 1034"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/958420.958430"},{"key":"11","year":"0"},{"key":"12","article-title":"Engineering the tokeneer enclave protection software","author":"barnes","year":"2006","journal-title":"Proceedings of the 1st IEEE Symposium on Secure Software Engineering"},{"key":"21","year":"0","journal-title":"How to Measure the Performance of A Caching DNS Server"},{"key":"3","article-title":"Provably exception-free DNS: A case study in formal methods","author":"fagin","year":"0","journal-title":"ISSRE 2012"},{"key":"20","author":"conchon","year":"2006","journal-title":"Ergo A Theorem Prover for Polymorphic First-order Logic Modulo Theories"},{"key":"2","year":"2011"},{"key":"1","year":"2003"},{"key":"10","author":"barnes","year":"0","journal-title":"High Integrity Software The SPARK Approach to Safety and Security"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79707-4_2"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70772"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2007.352764"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2006.117"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16265-7_9"},{"key":"8","first-page":"3","article-title":"VDMTools: Advances in support for formal modeling in VDM","volume":"43","author":"fitzgerald","year":"0","journal-title":"SIGPlan Notices"}],"event":{"name":"GLOBECOM 2012 - 2012 IEEE Global Communications Conference","location":"Anaheim, CA, USA","start":{"date-parts":[[2012,12,3]]},"end":{"date-parts":[[2012,12,7]]}},"container-title":["2012 IEEE Global Communications Conference (GLOBECOM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6490098\/6503052\/06503217.pdf?arnumber=6503217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T18:00:43Z","timestamp":1754416843000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6503217\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/glocom.2012.6503217","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}