ironsides man page on DragonFly

ironsides man page on DragonFly

Man page or keyword search:
man Server 44335 pages
apropos Keyword Search (all sections)
Output format

IRONSIDES(1)		  BSD 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⟩

BSD			       20 February 2014				   BSD

[top]

List of man pages available for DragonFly

Copyright (c) for man pages and the logo by the respective OS vendor.

For those who want to learn more, the polarhome community provides shell access and support.

[legal] [privacy] [GNU] [policy] [cookies] [netiquette] [sponsors] [FAQ]

Polarhome, production since 1999.
Member of Polarhome portal.
Based on Fawad Halim's script.
....................................................................

Vote for polarhome