Provably Secure DNS: A Case Study in Reliable Software Chapter uri icon

author list (cited authors)

  • Fagin, B., & Carlisle, M.

Book Title

  • Reliable Software Technologies Ada-Europe 2013

publication date

  • January 1, 2013 11:11 AM