chiark / gitweb /
Upgrade licence to GPLv3+.
[tripe] / server / tripe.8.in
1 .\" -*-nroff-*-
2 .\".
3 .\" Manual for the server
4 .\"
5 .\" (c) 2008 Straylight/Edgeware
6 .\"
7 .
8 .\"----- Licensing notice ---------------------------------------------------
9 .\"
10 .\" This file is part of Trivial IP Encryption (TrIPE).
11 .\"
12 .\" TrIPE is free software: you can redistribute it and/or modify it under
13 .\" the terms of the GNU General Public License as published by the Free
14 .\" Software Foundation; either version 3 of the License, or (at your
15 .\" option) any later version.
16 .\"
17 .\" TrIPE is distributed in the hope that it will be useful, but WITHOUT
18 .\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
19 .\" FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
20 .\" for more details.
21 .\"
22 .\" You should have received a copy of the GNU General Public License
23 .\" along with TrIPE.  If not, see <https://www.gnu.org/licenses/>.
24 .
25 .\"--------------------------------------------------------------------------
26 .so ../common/defs.man \" @@@PRE@@@
27 .
28 .\"--------------------------------------------------------------------------
29 .TH tripe 8tripe "10 February 2001" "Straylight/Edgeware" "TrIPE: Trivial IP Encryption"
30 .
31 .\"--------------------------------------------------------------------------
32 .SH "NAME"
33 .
34 tripe \- a simple VPN daemon
35 .
36 .\"--------------------------------------------------------------------------
37 .SH "SYNOPSIS"
38 .
39 .B tripe
40 .RB [ \-DF ]
41 .RB [ \-d
42 .IR dir ]
43 .RB [ \-b
44 .IR addr ]
45 .RB [ \-p
46 .IR port ]
47 .RB [ \-n
48 .IR tunnel ]
49 .br
50         \c
51 .RB [ \-U
52 .IR user ]
53 .RB [ \-G
54 .IR group ]
55 .RB [ \-a
56 .IR socket ]
57 .RB [ \-m
58 .IR mode ]
59 .RB [ \-T
60 .IR trace-opts ]
61 .br
62         \c
63 .RB [ \-k
64 .IR priv-keyring ]
65 .RB [ \-K
66 .IR pub-keyring ]
67 .RB [ \-t
68 .IR key-tag ]
69 .
70 .\"--------------------------------------------------------------------------
71 .SH "DESCRIPTION"
72 .
73 The
74 .B tripe
75 program is a server which can provide strong IP-level encryption and
76 authentication between co-operating hosts.  The program and its protocol
77 are deliberately very simple, to make analysing them easy and to help
78 build trust rapidly in the system.
79 .SS "Overview"
80 The
81 .B tripe
82 server manages a number of secure connections to other `peer' hosts.
83 Each daemon is given a private key of its own, and a file of public keys
84 for the peers with which it is meant to communicate.  It is responsible
85 for negotiating sets of symmetric keys with its peers, and for
86 encrypting, encapsulating and sending IP packets to its peers, and
87 decrypting, checking and de-encapsulating packets it receives from
88 them.
89 .PP
90 When the server starts, it creates a Unix-domain socket on which it
91 listens for administration commands.  It also logs warnings and
92 diagnostic information to the programs connected to its admin socket.
93 Clients connected to the socket can add new peers, and remove or find
94 out about existing peers.  The textual protocol used to give the
95 .B tripe
96 server admin commands is described in
97 .BR tripe\-admin (5).
98 A client program
99 .BR tripectl (1)
100 is provided to allow commands to be sent to the server either
101 interactively or by simple scripts.
102 .SS "Command-line arguments"
103 If not given any command-line arguments,
104 .B tripe
105 will initialize by following these steps:
106 .hP 1.
107 It sets the directory named by the
108 .B TRIPEDIR
109 environment variable (or
110 .B "\*(/c"
111 if the variable is unset) as the current directory.
112 .hP 2.
113 It acquires a UDP socket with an arbitrary kernel-selected port number.
114 It will use this socket to send and receive all communications with its
115 peer servers.  The port chosen may be discovered by means of the
116 .B PORT
117 admin command (see
118 .BR tripe\-admin (5)).
119 .hP 3.
120 It loads the private key with the tag or type name
121 .B tripe
122 (or, failing that,
123 .B tripe\-dh
124 for backwards compatibility reasons) from the Catacomb-format file
125 .BR keyring ,
126 and loads the file
127 .B keyring.pub
128 ready for extracting the public keys of peers as they're introduced.
129 (The format of these files is described in
130 .BR keyring (5).
131 They are maintained using the program
132 .BR key (1)
133 provided with the Catacomb distribution.)
134 .hP 4.
135 It creates and listens to the Unix-domain socket
136 .BR tripesock .
137 .PP
138 Following this, the server enters its main loop, accepting admin
139 connections and obeying any administrative commands, and communicating
140 with peers.  It also treats its standard input and standard output
141 streams as an admin connection, reading commands from standard input and
142 writing responses and diagnostics messages to standard output.  Finally,
143 it will reload keys from its keyring files if it notices that they've
144 changed (it checks inode number and modification time) \- there's no
145 need to send a signal.
146 .PP
147 Much of this behaviour may be altered by giving
148 .B tripe
149 suitable command-line options:
150 .TP
151 .B "\-h, \-\-help"
152 Writes a brief description of the command-line options available to
153 standard output and exits with status 0.
154 .TP
155 .B "\-v, \-\-version"
156 Writes
157 .BR tripe 's
158 version number to standard output and exits with status 0.
159 .TP
160 .B "\-u, \-\-usage"
161 Writes a brief usage summary to standard output and exits with status 0.
162 .TP
163 .B "\-\-tunnels"
164 Writes to standard output a list of the configured tunnel drivers, one
165 per line, and exits with status 0.  This is intended for the use of the
166 start-up script, so that it can check that it will actually work.
167 .TP
168 .B "\-D, \-\-daemon"
169 Dissociates from its terminal and starts running in the background after
170 completing the initialization procedure described above.  If running as
171 a daemon,
172 .B tripe
173 will not read commands from standard input or write diagnostics to
174 standard output.  A better way to start
175 .B tripe
176 in the background is with
177 .BR tripectl (1).
178 .TP
179 .B "\-F, \-\-foreground"
180 Runs the server in the `foreground'; i.e.,
181 .B tripe
182 will quit if it sees end-of-file on its standard input.  This is
183 incompatible with
184 .BR \-D .
185 .TP
186 .BI "\-d, \-\-directory=" dir
187 Makes
188 .I dir
189 the current directory.  The default directory to change to is given by
190 the environment variable
191 .BR TRIPEDIR ;
192 if that's not specified, a default default of
193 .B "\*(/c"
194 is used.  Give a current directory of
195 .B .
196 if you don't want it to change directory at all.
197 .TP
198 .BI "\-b, \-\-bind-address="addr
199 Bind the UDP socket to IP address
200 .I addr
201 rather than the default of
202 .BR INADDR_ANY .
203 This is useful if your main globally-routable IP address is one you want
204 to tunnel through the VPN.
205 .TP
206 .BI "\-p, \-\-port=" port
207 Use the specified UDP port for all communications with peers, rather
208 than an arbitarary kernel-assigned port.
209 .TP
210 .BI "\-n, \-\-tunnel=" tunnel
211 Use the specified tunnel driver for new peers by default.
212 .TP
213 .BI "\-U, \-\-setuid=" user
214 Set uid to that of
215 .I user
216 (either a user name or integer uid) after initialization.  Also set gid
217 to
218 .IR user 's
219 primary group, unless overridden by a
220 .B \-G
221 option.  The selected user (and group) will also be the owner of the
222 administration socket.
223 .TP
224 .BI "\-G, \-\-setgid=" group
225 If the current effective uid is zero (i.e., the daemon was invoked as
226 .BR root )
227 then set gid to that of
228 .I group
229 (either a group name or integer gid) after initialization.  In any
230 event, arrange hat the administration socket be owned by the given
231 .IR group .
232 .TP
233 .BI "\-k, \-\-priv\-keyring=" file
234 Reads the private key from
235 .I file
236 rather than the default
237 .BR keyring .
238 .TP
239 .BI "\-K, \-\-pub\-keyring=" file
240 Reads public keys from
241 .I file
242 rather than the default
243 .BR keyring.pub .
244 This can be the same as the private keyring, but that's not recommended.
245 .TP
246 .BI "\-t, \-\-tag=" tag
247 Uses the private key whose tag or type is
248 .I tag
249 rather than the default
250 .B tripe
251 or
252 .BR tripe\-dh .
253 .TP
254 .BI "\-a, \-\-admin\-socket=" socket
255 Accept admin connections to a Unix-domain socket named
256 .IR socket .
257 The default socket, if this option isn't specified, is given by the
258 environment variable
259 .BR TRIPESOCK ;
260 if that's not set either, then a default default of
261 .B "\*(/s/tripesock"
262 is used instead.
263 .TP
264 .BI "\-m, \-\-admin\-perms=" mode
265 Permissions (as an octal number) to set on the administration socket.  The
266 default is 600, which allows only the socket owner.  Setting 660 allows
267 members of the
268 .I group
269 configured through the
270 .B \-G
271 option to connect to the socket, which may be useful.  Allowing world access
272 is a terrible idea.
273 .TP
274 .BI "\-T, \-\-trace=" trace-opts
275 Allows the enabling or disabling of various internal diagnostics.  See
276 below for the list of options.
277 .SS "Key exchange group types"
278 The
279 .B tripe
280 server uses Diffie\(en\&Hellman key exchange to agree the symmetric keys
281 used for bulk data transfer.
282 .PP
283 The server works out which it should be doing based on the key's
284 .B kx-group
285 attribute.
286 If this attribute isn't present, then the key's type is examined: if
287 it's of the form
288 .BI tripe\- group
289 then the
290 .I group
291 is used.  If no group is specified,
292 .B dh
293 is used as a fallback.
294 The following groups are defined.
295 .TP
296 .B dh
297 .RS
298 Use traditional Diffie\(enHellman in a
299 .IR "Schnorr group" :
300 a prime-order subgroup of the multiplicative group of
301 a finite field; this is the usual
302 .I g\*(ssx\*(se
303 mod
304 .I p
305 kind of Diffie\(en\&Hellman.
306 .PP
307 To create usual Schnorr-group keys, say something like
308 .VS
309 key add \-adh-param \-LS \-b3072 \-B256 \e
310         \-eforever \-tparam tripe\-param kx-group=dh
311 .VE
312 to construct a parameters key; and create the private keys by
313 .VS
314 key add \-adh \-pparam \-talice \e
315         \-e"now + 1 year" tripe
316 .VE
317 .RE
318 .sv -1
319 .TP
320 .B ec
321 .RS
322 Use elliptic curve Diffie\(enHellman.
323 An elliptic curve group is a prime-order
324 subgroup of the abelian group of
325 .BR K -rational
326 points on an elliptic curve defined over a finite field
327 .BR K .
328 .PP
329 Given current public knowledge, elliptic curves can provide similar or
330 better security to systems based on integer discrete log problems,
331 faster, and with less transmitted data.  It's a matter of controversy
332 whether this will continue to be the case.  The author uses elliptic
333 curves.
334 .PP
335 To create elliptic curve keys, say something like
336 .VS
337 key add \-aec\-param \-Cnist-p256 \-eforever \e
338         \-tparam tripe\-param kx-group=ec
339 .VE
340 to construct a parameters key, using your preferred elliptic curve in
341 the
342 .B \-C
343 option (see
344 .BR key (1)
345 for details); and create the private keys by
346 .VS
347 key add \-aec \-pparam \-talice \e
348         \-e"now + 1 year" tripe
349 .VE
350 .RE
351 .sv -1
352 .TP
353 .B x25519
354 .RS
355 Use Bernstein's X25519 Diffie\(enHellman function.
356 This is technically a variant on
357 the general elliptic curve Diffie\(enHellman
358 available through the
359 .B ec
360 setting,
361 but carefully designed and heavily optimized.
362 .PP
363 To create
364 .B x25519
365 keys,
366 say something like
367 .VS
368 key add \-aempty \-eforever \e
369         \-tparam tripe\-param kx-group=x25519
370 .VE
371 to construct a parameters key
372 (see
373 .BR key (1)
374 for details);
375 and create the private keys by
376 .VS
377 key add \-ax25519 \-pparam \-talice \e
378         \-e"now + 1 year" tripe
379 .VE
380 .RE
381 .sv -1
382 .TP
383 .B x448
384 .RS
385 Use Hamburg's X448 Diffie\(enHellman function.
386 Like
387 .B x25519
388 above,
389 this is technically a variant on
390 the general elliptic curve Diffie\(enHellman
391 available through the
392 .B ec
393 setting,
394 but carefully designed and heavily optimized.
395 .PP
396 To create
397 .B x448
398 keys,
399 say something like
400 .VS
401 key add \-aempty \-eforever \e
402         \-tparam tripe\-param kx-group=x448
403 .VE
404 to construct a parameters key
405 (see
406 .BR key (1)
407 for details);
408 and create the private keys by
409 .VS
410 key add \-ax448 \-pparam \-talice \e
411         \-e"now + 1 year" tripe
412 .VE
413 .RE
414 Note that the
415 .BR tripe-keys (8)
416 program provides a rather more convenient means for generating and
417 managing keys for
418 .BR tripe .
419 .SS "Using other symmetric algorithms"
420 The default symmetric algorithms
421 .B tripe
422 uses are Blowfish (by Schneier) for symmetric encryption, and RIPEMD-160
423 (by Dobbertin, Bosselaers and Preneel) for hashing and as a MAC (in HMAC
424 mode, designed by Bellare, Canetti and Krawczyk).  These can all be
425 overridden by setting attributes on your private key, as follows.
426 .TP
427 .B bulk
428 Names the bulk-crypto transform to use.  See below.
429 .TP
430 .B blkc
431 Names a block cipher, used by some bulk-crypto transforms (e.g.,
432 .BR iiv ).
433 The default is to use the block cipher underlying the chosen
434 .BR cipher ,
435 if any.
436 .TP
437 .B cipher
438 Names the symmetric encryption scheme to use.  The default is
439 .BR blowfish\-cbc .
440 .TP
441 .B hash
442 Names the hash function to use.  The default is
443 .BR rmd160 .
444 .TP
445 .B mac
446 Names the message authentication code to use.  The name of the MAC may
447 be followed by a
448 .RB ` / '
449 and the desired tag length in bits.  The default is
450 .IB hash \-hmac
451 at half the underlying hash function's output length.
452 If the MAC's name contains a
453 .RB ` / '
454 character,
455 e.g.,
456 .RB ` sha512/256 ',
457 then an
458 .I additional
459 .RB ` / '
460 and the tag size is required to disambiguate,
461 so, e.g.,
462 one might write
463 .RB ` sha512/256/256 '.
464 .TP
465 .B mgf
466 A `mask-generation function', used in the key-exchange.  The default is
467 .IB hash \-mgf
468 and there's no good reason to change it.
469 .PP
470 The available bulk-crypto transforms are as follows.
471 .TP
472 .B v0
473 Originally this was the only transform available.  It's a standard
474 generic composition of a CPA-secure symmetric encryption scheme with a
475 MAC; initialization vectors for symmetric encryption are chosen at
476 random and included explicitly in the cryptogram.
477 .TP
478 .B iiv
479 A newer `implicit-IV' transform.  Rather than having an explicit random
480 IV, the IV is computed from the sequence number using a block cipher.
481 This has two advantages over the
482 .B v0
483 transform.  Firstly, it adds less overhead to encrypted messages
484 (because the IV no longer needs to be sent explicitly).  Secondly, and
485 more significantly, the transform is entirely deterministic, so (a) it
486 doesn't need the (possibly slow) random number generator, and (b) it
487 closes a kleptographic channel, over which a compromised implementation
488 could leak secret information to a third party.
489 .TP
490 .B naclbox
491 A transform based on the NaCl
492 .B crypto_secretbox
493 transformation.
494 The main difference is that NaCl uses XSalsa20,
495 while TrIPE uses plain Salsa20 or ChaCha,
496 because it doesn't need the larger nonce space.
497 You can set the
498 .B cipher
499 key attribute to one of
500 .BR salsa20 ,
501 .BR salsa20/12 ,
502 .BR salsa20/8 ,
503 .BR chacha20 ,
504 .BR chacha12 ,
505 or
506 .B chacha8
507 to select the main cipher.
508 You can set the
509 .B mac
510 key attribute to
511 .B poly1305
512 or
513 .B poly1305/128
514 but these are the default and no other choice is permitted.
515 (This is for forward compatibility,
516 in case other MACs and/or tag sizes are allowed later.)
517 .SS "Other key attributes"
518 The following attributes can also be set on keys.
519 .TP
520 .B serialization
521 Selects group-element serialization formats.
522 The recommended setting is
523 .BR constlen ,
524 which selects a constant-length encoding when hashing group elements.
525 The default,
526 for backwards compatibility, is
527 .BR v0 ;
528 but this is deprecated.
529 (The old format uses a variable length format for hashing,
530 which can leak information through timing.)
531 .SS "Using SLIP interfaces"
532 Though not for the faint of heart, it is possible to get
533 .B tripe
534 to read and write network packets to a pair of file descriptors using
535 SLIP encapsulation.  No fancy header compression of any kind is
536 supported.
537 .PP
538 Two usage modes are supported: a preallocation system, whereby SLIP
539 interfaces are created and passed to the
540 .B tripe
541 server at startup; and a dynamic system, where the server runs a script
542 to allocate a new SLIP interface when it needs one.  It is possible to
543 use a mixture of these two modes, starting
544 .B tripe
545 with a few preallocated interfaces and having it allocate more
546 dynamically as it needs them.
547 .PP
548 The behaviour of
549 .BR tripe 's
550 SLIP driver is controlled by the
551 .B TRIPE_SLIPIF
552 environment variable.  The server will not create SLIP tunnels if this
553 variable is not defined.  The variable's value is a colon-delimited list
554 of preallocated interfaces, followed optionally by the filename of a
555 script to run to dynamically allocate more interfaces.
556 .PP
557 A static allocation entry has the form
558 .IR infd [ \c
559 .BI , outfd \c
560 .RB ] \c
561 .BI = \c
562 .IR ifname ,
563 If the
564 .I outfd
565 is omitted, the same file descriptor is used for input and output.
566 .PP
567 The dynamic allocation script must be named by an absolute or relative
568 pathname, beginning with
569 .RB ` / '
570 or
571 .RB ` . '.
572 The server will pass the script an argument, which is the name of the
573 peer for which the interface is being created.  The script should
574 allocate a new SLIP interface (presumably by creating a pty pair),
575 configure it appropriately, and write the interface's name to its
576 standard output, followed by a newline.  It should then read and write
577 SLIP packets on its stdin and stdout.  The script's stdin will be closed
578 when the interface is no longer needed, and the server will attempt to
579 send it a
580 .B SIGTERM
581 signal (though this may fail if the script runs with higher privileges
582 than the server).
583 .PP
584 The output file descriptor should not block unless it really needs to:
585 the
586 .B tripe
587 daemon assumes that it won't, and will get wedged waiting for it to
588 accept output.
589 .SS "About the name"
590 The program's name is
591 .BR tripe ,
592 all in lower-case.  The name of the protocol it uses is `TrIPE', with
593 four capital letters and one lower-case.  The name stands for `Trivial
594 IP Encryption'.
595 .
596 .\"--------------------------------------------------------------------------
597 .SH "BUGS"
598 .
599 The code hasn't been audited.  It may contain security bugs.  If you
600 find one, please inform the author
601 .IR immediately .
602 .
603 .\"--------------------------------------------------------------------------
604 .SH "SEE ALSO"
605 .
606 .BR key (1),
607 .BR tripectl (1),
608 .BR tripe\-admin (5),
609 .BR tripe\-keys (8).
610 .PP
611 .IR "The Trivial IP Encryption Protocol" ,
612 .IR "The Wrestlers Protocol" .
613 .
614 .\"--------------------------------------------------------------------------
615 .SH "AUTHOR"
616 .
617 Mark Wooding, <mdw@distorted.org.uk>
618 .
619 .\"----- That's all, folks --------------------------------------------------