Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
IRONSIDES(1)		FreeBSD	General	Commands Manual		  IRONSIDES(1)

NAME
     ironsides -- authoritative	DNS server

SYNOPSIS
     ironsides [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

OPTIONS
     ironsides 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>

FreeBSD	13.0		       20 February 2014			  FreeBSD 13.0

NAME | SYNOPSIS | DESCRIPTION | OPTIONS | BUGS | AUTHOR

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=ironsides&sektion=1&manpath=FreeBSD+12.2-RELEASE+and+Ports>

home | help