1.\" Manpage for ironsides. 2.Dd 20 February 2014 3.Dt IRONSIDES 1 4.Os 5.Sh NAME 6.Nm ironsides 7.Nd authoritative DNS server 8.Sh SYNOPSIS 9.Nm 10.Op Ar configuration_file 11.Sh DESCRIPTION 12IRONSIDES is an authoritative DNS server that is provably invulnerable to 13many of the problems that plague other servers. It achieves this property 14through the use of formal methods in its design, in particular the language 15Ada and the SPARK formal methods tool set. Code validated in this way is 16provably exception-free, contains no data flow errors, and terminates only 17in the ways that its programmers explicitly say that it can. These are very 18desirable properties from a computer security perspective. 19.Pp 20IRONSIDES is not a complete implementation of DNS. In particular, it does 21not support zone transfers or recursive queries. It does, however, support 22a sufficient number of DNS records to be useful as an authoritative DNS 23server for an enterprise. 24.Pp 25WWW: http://ironsides.martincarlisle.com 26.Sh OPTIONS 27.Nm 28does not take any options. However, you must supply a configuration file. 29The included dfcs.usafa.edu.zonefile file is a sample configuration. 30.Sh BUGS 31No known bugs. 32.Sh AUTHOR 33.An Martin Carlisle Aq Mt ironsides@martincarlisle.com 34