IRONSIDES(1) BSD General Commands Manual IRONSIDES(1)NAMEironsides — authoritative DNS server
SYNOPSISironsides [configuration_file]
DESCRIPTION
IRONSIDES is an authoritative DNS server that is provably invulnerable to
many of the problems that plague other servers. It achieves this property
through the use of formal methods in its design, in particular the lan‐
guage Ada and the SPARK formal methods tool set. Code validated in this
way is provably exception-free, contains no data flow errors, and termi‐
nates only in the ways that its programmers explicitly say that it can.
These are very desirable properties from a computer security perspective.
IRONSIDES is not a complete implementation of DNS. In particular, it does
not support zone transfers or recursive queries. It does, however, sup‐
port a sufficient number of DNS records to be useful as an authoritative
DNS server for an enterprise.
WWW: http://ironsides.martincarlisle.com
OPTIONSironsides does not take any options. However, you must supply a configu‐
ration file. The included dfcs.usafa.edu.zonefile file is a sample con‐
figuration.
BUGS
No known bugs.
AUTHOR
Martin Carlisle ⟨ironsides@martincarlisle.com⟩
BSD 20 February 2014 BSD