{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:41:41Z","timestamp":1725727301912},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386008"},{"type":"electronic","value":"9783642386015"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38601-5_6","type":"book-chapter","created":{"date-parts":[[2013,5,27]],"date-time":"2013-05-27T01:25:01Z","timestamp":1369617901000},"page":"81-93","source":"Crossref","is-referenced-by-count":2,"title":["Provably Secure DNS: A Case Study in Reliable Software"],"prefix":"10.1007","author":[{"given":"Barry","family":"Fagin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Carlisle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Internet Systems Consortium, \n                    \n                      http:\/\/www.isc.org"},{"key":"6_CR2","unstructured":"Barnes, J.: High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley Publishing (2003) 0-321-13616-0"},{"key":"6_CR3","unstructured":"http:\/\/www.adacore.com\/2010\/08\/16\/spark-skein\/"},{"key":"6_CR4","unstructured":"Barnes, J., et al.: Engineering the Tokeneer Enclave Protection Software. In: 1st IEEE Symposium on Secure Software Engineering (2006)"},{"issue":"4","key":"6_CR5","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J. Woodcock","year":"2009","unstructured":"Woodcock, J., et al.: Formal methods: Practice and experience. ACM Comput. Surv.\u00a041(4), Article 19, 36 (2009)","journal-title":"ACM Comput. Surv."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Sward, R.E., Carlisle, M.C., Fagin, B.S., Gibson, D.S.: The case for Ada at the USAF Academy. In: ACM SIGAda International Conference on Ada, pp. 68\u201370 (2003)","DOI":"10.1145\/992211.958430"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Carlisle, M., Fagin, B.: IRONSIDES: DNS With No Single-Packet Denial of Service or Remote Code Execution Vulnerabilities. In: Proceedings of IEEE GLOBECOM 2012, Anaheim CA (2012)","DOI":"10.1109\/GLOCOM.2012.6503217"},{"key":"6_CR8","unstructured":"DNSSEC \u2013 The DNS Security Extensions, \n                    \n                      http:\/\/www.dnssec.net\/"},{"key":"6_CR9","unstructured":"http:\/\/www.adacore.com\/sparkpro\/language-toolsuite\/"},{"key":"6_CR10","unstructured":"http:\/\/alt-ergo.lri.fr"},{"key":"6_CR11","unstructured":"Nominum, Inc. DNS measurement tools, \n                    \n                      http:\/\/www.nominum.com\/support\/measurement-tools\/"},{"key":"6_CR12","unstructured":"Comparison of DNS Server Software, \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/Comparison_of_DNS_server_software"},{"key":"6_CR13","unstructured":"http:\/\/www.darpa.mil\/Our_Work\/I2O\/Programs\/Crowd_Sourced_Formal_Verification_(CSFV).aspx"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38601-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T07:22:40Z","timestamp":1557732160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38601-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386008","9783642386015"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38601-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}