Provably Secure DNS: A Case Study in Reliable Software.

Barry S. Fagin Martin C. Carlisle

Published in: Ada-Europe (2013)

Keyphrases

provably secure
software development
key management
source code
public key
standard model
software systems
security model
signature scheme
diffie hellman
similarity measure
response time