chiark / gitweb /
README.make-secnet-sites: Provide some documentation for this tool.
[secnet.git] / README.make-secnet-sites
1 USAGE
2
3         make-secnet-sites [-P PREFIX] [IN [OUT]]
4         make-secnet-sites -u HEADER GRPDIR SITESFILE GROUP
5
6         The `-P' option sets the PREFIX string, mentioned below in
7         `OUTPUT STRUCTURE'; the default is empty.
8
9         In the former mode, `make-secnet-sites' reads a single input
10         file from IN (defaulting to standard input), and writes a Secnet
11         configuration fragment to OUT (defaulting to standard output).
12
13         In the latter, `make-secnet-sites' expects to have been invoked
14         via GNU Userv.  It verifies that GROUP is listed in the
15         `USERV_GROUP' environment variable.  It then processes the
16         HEADER input, which should say `end-defintions' somewhere, to
17         enable restrictions, and then user input on standard input.  If
18         the combination of the two is acceptable, it writes a copy of
19         the user input to the file `GRPDIR/RGROUP' (the `R' is literal)
20         preceded by a comment logging the time and the value of the
21         `USERV_USER' environment variable, and writes a file named
22         SITESFILE consisting of the concatenation of:
23
24           * a header comment logging the time and the value of the
25             `USERV_USER' environment variable, and a reminder that this
26             is `make-secnet-sites' input;
27
28           * the HEADER, with any `include' lines replaced by the files
29             they include; and
30
31           * each of the `GRPDIR/R*' files, in some arbitrary order.
32
33         This SITESFILE can later be processed in the former mode to
34         produce Secnet configuration.
35
36
37 INPUT SYNTAX
38
39         The input files have a simple line-based syntax.  Blank lines,
40         and lines beginning with a `#' character, are ignored.  Other
41         lines consist of a keyword followed by arguments, and separated
42         by horizontal whitespace.  There is no quoting, and it is not
43         possible to include horizontal whitespace in an argument.
44
45         An input file describes a number of virtual private networks
46         (`VPNs').  Each VPN consists of a number of locations, and each
47         location consists of a number of sites, thus forming (together
48         with the root) a fixed four-level hierarchy.  The root, VPNs,
49         locations, and sites can each have a number of properties
50         attached to them: each level in the hierarchy has a different
51         set of permissable properties.
52
53         Most keywords define properties on a `current' item in the
54         hierarchy.  Some change which item is current, possibly creating
55         a new item.  A few are special.
56
57         First, the navigation keywords.
58
59         vpn NAME
60                 Switch to the VPN called NAME, which is a direct child
61                 of the root, creating it if necessary.  Subsequent
62                 properties, up until the next navigation keyword, are
63                 attached directly to the VPN.
64
65                 A VPN item becomes a dictionary named `NAME' within the
66                 `PREFIXvpn-data' dictionary in the generated output.
67
68         location NAME [GROUP]
69                 Switch to the location called NAME, which is a direct
70                 child of the most recently mentioned VPN, creating it if
71                 necessary.  The GROUP name may be omitted (and is anyway
72                 ignored) if the location already exists.  It is an error
73                 if there is no current VPN.  Subsequent properties, up
74                 until the next navigation keyword, are attached directly
75                 to the location.
76
77                 A location item becomes a dictionary named `NAME' within
78                 its parent VPN's dictionary in the generated output.
79
80         site NAME
81                 Switch to the site called NAME, which is a direct
82                 child of the most recently mentioned location, creating
83                 it if necessary.  It is an error if there is no current
84                 location.  Subsequent properties, up until the next
85                 navigation keyword, are attached directly to the site.
86
87                 A location item becomes a dictionary named `NAME' within
88                 its parent location's dictionary in the generated
89                 output.
90
91         Now, the special keywords.
92
93         include FILE
94                 Read lines from FILE, as if they'd appeared at this
95                 point in the input.  If the FILE name is relative, it is
96                 interpreted relative to the directory containing the
97                 most recently opened file.  (This seems to be a bug.)
98
99                 The `include' keyword is only permitted before the
100                 `end-defintions' marker in a HEADER file processed using
101                 the `-u' option.
102
103         end-definitions
104                 After this keyword, the following restrictions apply.
105
106                   * The `include' keyword can no longer be used.
107
108                   * It is not permitted to define new VPNs and
109                     locations.
110
111                   * It is not permitted to append new items to root,
112                     VPN, and location properties which are already
113                     defined.  (Assigning new properties is permitted.)
114
115         Finally, the properties.
116
117         If a property has already been defined on an item, then it is an
118         error to try to redefine it.
119
120         Mostly, properties are written to corresponding assignments in
121         the generated Secnet configuration file, .  The entries below
122         describe how properties are translated into assignments.
123
124         contact EMAIL
125                 Becomes a `Contact address' comment in the output.
126                 Acceptable at all levels; required separately at VPN and
127                 location levels.
128
129         dh P G
130                 Assigns a Diffie--Hellman closure to the `dh' key,
131                 constructed as `diffie-hellman(P, G)'. Acceptable at all
132                 levels; required at site level.
133
134         hash HASH-NAME
135                 Assigns the HASH-NAME to the `hash' key.  The HASH-NAME
136                 must be one of `md5' or `sha1', and the corresponding
137                 hash closure is used.  Acceptable at all levels;
138                 required at site level.
139
140         key-lifetime INT
141         setup-timeout INT
142         setup-retries INT
143         wait-time INT
144         renegotiate-time INT
145                 Assign integers to the like-named key.  Acceptable at
146                 all levels.
147                 
148         restrict-nets NETWORK NETWORK ...
149                 This item and its descendents may only define `networks'
150                 and `peer' properties with addresses within the listed
151                 NETWORKs, each of which has the form IPADDR/MASK, where
152                 the IPADDR is an IPv4 address in dotted-quad form, and
153                 the MASK is either a netmask in dotted-quad form or a
154                 prefix length.  Becomes a comment n the output.
155                 Acceptable at all levels.
156
157         networks NETWORK NETWORK ...
158                 Assigns a list of NETWORKs to the `routes' key in a
159                 netlink application (see below).  See `restrict-nets'
160                 for the syntax of a NETWORK.  Acceptable only at site
161                 level; required at site level.
162
163         address HOSTNAME PORT
164                 Assigns HOSTNAME to the `address' key and PORT (an
165                 integer) to the `port' key.  Acceptable only at site
166                 level.  May be omitted for mobile sites.
167
168         peer IPADDR
169                 Assigns IPADDR to the `ptp-address' key in a netlink
170                 application (see below).  IPADDR must be an IPv4 address
171                 in dotted-quad form.  Acceptable only at site level;
172                 required at site level.
173
174         pubkey HUNOZ E N
175                 Assigns a public-key closure to the `key' key,
176                 constructed as `rsa-public(E, N)'.  The argument HUNOZ
177                 must be an integer, but is otherwise ignored; it's
178                 conventionally the length of N in bits.  Acceptable only
179                 at site level; required at site level.
180
181         mobile BOOL
182                 Assigns BOOL to the `mobile' key.  Acceptable only at
183                 site level, but optional.
184
185
186 OUTPUT STRUCTURE
187
188         The program produces a Secnet configuration fragment with the
189         structure described below, suitable for inclusion using the
190         `include' keyword.
191
192                 PREFIXvpn-data {
193                   VPN {
194                     # Contact email address: EMAIL
195                     [ # restrict-nets: NETWORKS ]
196                     [ VPN-PROPERTIES ]
197                     LOCATION {
198                       # Contact email address: EMAIL
199                       [ # restrict-nets: NETWORKS ]
200                       [ LOCATION-PROPERTIES ]
201                       SITE {
202                         [ # Contact email address: EMAIL ]
203                         [ # restrict-nets: NETWORKS ]
204                         name "VPN/LOCATION/NAME";
205                         SITE-PROPERTIES
206                         link netlink {
207                           routes NETWORK ...;
208                           ptp-address IPADDR;
209                         };
210                       };
211                       [ MORE SITES ... ]
212                     };
213                     [ MORE LOCATIONS ... ]
214                   };
215                   [ MORE VPNS ... ]
216                 };
217
218                 PREFIXvpn {
219                   VPN {
220                     LOCATION PREFIXvpn-data/VPN/LOCATION/SITE, ...;
221                     [ MORE LOCATIONS ]
222                     all-sites LOCATION, ...;
223                   };
224                 };
225
226                 PREFIXall-sites PREFIXvpn/VPN/all-sites, ...;
227
228         Note in particular the implicit dependency on a pure closure
229         named `netlink' used to set the `link' key in each site
230         definition.  Usually, this will be constructed by a partial
231         application of the built-in `userv-ipif' or `tun' closures.