Praxis Systems / AdaCore Technologies / Microsoft / / /
Event
FDA Phase / /
Facility
University of Paris-Sud / DNS port / /
IndustryTerm
Internet domain name space / Internet Name Domain server / software design / name service software / software validation process / pre-processing tools / free software version / stress testing tool / free software / low-level network / dns_network / Internet software suite / Internet Systems Consortium / internet security / Internet protocol stack / software vulnerabilities / recursive query protocol / domain name server / formal methods tools / root server / mature technology / authoritative server / software systems / /
OperatingSystem
VMs / Linux / Ubuntu / Microsoft Windows / Windows Server 2008 / /
Organization
University of Paris-Sud / Reliable Software Barry Fagin and Martin Carlisle Department of Computer Science US Air Force Academy Colorado Springs / /
Person
Paul Mockapetris / Martin Carlisle / /
Position
programmer / /
Product
IRONSIDES / /
ProgrammingLanguage
Ada / /
Technology
encryption / SOA / virtual machine / IPv6 / RAM / fairly mature technology / DNS / recursive query protocol / Linux system / IP / Caching / UDP / same protocols / DNS protocols / DNS protocol / /
Provably Secure DNS: A Case Study in Reliable Software Barry Fagin and Martin Carlisle Department of Computer Science US Air Force Academy Colorado Springs, COUSA