Provably Secure DNS: A Case Study in Reliable Software

Barry S. Fagin, Martin C. Carlisle. Provably Secure DNS: A Case Study in Reliable Software. In Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk, editors, Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings. Volume 7896 of Lecture Notes in Computer Science, pages 81-93, Springer, 2013. [doi]

Abstract

Abstract is missing.