server/bulkcrypto.c (naclbox_decrypt): Trace calculated MAC tag.
[tripe] / server / tripe-admin.5.in
... / ...
CommitLineData
1.\" -*-nroff-*-
2.\".
3.\" Manual for the administration protocol
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-admin 5tripe "18 February 2001" "Straylight/Edgeware" "TrIPE: Trivial IP Encryption"
30.
31.\"--------------------------------------------------------------------------
32.SH "NAME"
33.
34tripe-admin \- administrator commands for TrIPE
35.
36.\"--------------------------------------------------------------------------
37.SH "DESCRIPTION"
38.
39This manual page describes the administration interface provided by the
40.BR tripe (8)
41daemon.
42.PP
43The
44.BR tripectl (8)
45program can be used either interactively or in scripts to communicate
46with the server using this interface. Alternatively, simple custom
47clients can be written in scripting languages such as Perl, Python or
48Tcl, or more advanced clients such as GUI monitors can be written in C
49with little difficulty.
50.PP
51Administration commands use a textual protocol. Each client command or
52server response consists of a line of ASCII text terminated by a single
53linefeed character. No command may be longer than 255 characters.
54.SS "General structure"
55Each command or response line consists of a sequence of
56whitespace-separated tokens. The number and nature of whitespace
57characters separating two tokens in a client command is not significant;
58the server always uses a single space character. The first token in a
59line is a
60.I keyword
61identifying the type of command or response contained. Keywords in
62client commands are not case-sensitive; the server always uses uppercase
63for its keywords.
64.PP
65In order to allow tokens to contain internal whitespace, a quoting
66mechanism is provided. Whitespace within matched pairs of quotes \(en
67either single
68.RB ` ' '
69or double
70.RB ` """" '
71\(en is considered to be internal. Any character (other than newline)
72may be escaped by preceding it with a backslash
73.RB ` \e ':
74in particular, this can be used to include quote characters. It is
75impossible for a token to contain a newline character.
76.PP
77On output, the server will use double quotes when necessary.
78.SS "Simple commands"
79For simple client command, the server responds with zero or more
80.B INFO
81lines, followed by either an
82.B OK
83line or a
84.B FAIL
85line. Each
86.B INFO
87provides information requested in the command. An
88.B OK
89response contains no further data. A
90.B FAIL
91code is followed by a machine-readable explanation of why the command
92failed.
93.PP
94Simple command processing is strictly synchronous: the server reads a
95command, processes it, and responds, before reading the next command.
96All commands can be run as simple commands. Long-running commands
97(e.g.,
98.B ADD
99and
100.BR PING )
101block the client until they finish, but the rest of the server continues
102running. See
103.B "Background commands"
104to find out how to issue long-running commands without blocking.
105.SS "Asynchronous broadcasts"
106There are three types of asynchronous broadcast messages which aren't
107associated with any particular command. Clients can select which
108broadcast messages they're interested in using the
109.B WATCH
110command.
111.PP
112The
113.B WARN
114message contains a machine-readable message warning of an error
115encountered while processing a command, unexpected or unusual behaviour
116by a peer, or a possible attack by an adversary. Under normal
117conditions, the server shouldn't emit any warnings.
118.PP
119The
120.B TRACE
121message contains a human-readable tracing message containing diagnostic
122information. Trace messages are controlled using the
123.B \-T
124command-line option to the server, or the
125.B TRACE
126administration command (see below). Support for tracing can be disabled
127when the package is being configured, and may not be available in your
128version.
129.PP
130Finally, the
131.B NOTE
132message is a machine-readable notification about some routine but
133interesting event such as creation or destruction of peers.
134.SS "Background commands"
135Some commands (e.g.,
136.B ADD
137and
138.BR PING )
139take a long time to complete. To prevent these long-running commands
140from tying up a server connection, they can be run in the background.
141Not all commands can be run like this: the ones that can provide a
142.B \-background
143option, which must be supplied with a
144.IR tag .
145.PP
146A command may fail before it starts running in the background. In this
147case, the server emits a
148.B FAIL
149response, as usual. To indicate that a command has started running in
150the background, the server emits a response of the form
151.BI "BGDETACH " tag \fR,
152where
153.I tag
154is the value passed to the
155.B \-background
156option. From this point on, the server is ready to process more
157commands and reply to them.
158.PP
159Responses to background commands are indicated by a line beginning with
160one of the tokens
161.BR BGOK ,
162.BR BGFAIL ,
163or
164.BR BGINFO ,
165followed by the command tag. These correspond to the
166.BR OK ,
167.BR FAIL ,
168and
169.B INFO
170responses for simple commands:
171.B BGINFO
172indicates information from a background command which has not completed
173yet; and
174.B BGOK
175and
176.B BGFAIL
177indicates that a background command succeeded or failed, respectively.
178.PP
179A background command will never issue an
180.B OK
181or
182.B INFO
183response: it will always detach and then issue any
184.B BGINFO
185lines followed by
186.B BGOK
187response.
188.SS "Client-provided services"
189.\"* 25 Service-related messages
190An administration client can provide services to other clients.
191Services are given names and versions. A client can attempt to
192.I claim
193a particular service by issuing the
194.B SVCCLAIM
195command. This may fail, for example, if some other client already
196provides the same or later version of the service.
197.PP
198Other clients can issue
199.I "service commands"
200using the
201.B "SVCSUBMIT"
202command; the service provider is expected to handle these commands and
203reply to them.
204.PP
205There are three important asynchronous messages which will be sent to
206service providers.
207.SP
208.BI "SVCCANCEL " jobid
209The named job has been cancelled, either because the issuing client has
210disconnected or explicitly cancelled the job using the
211.B BGCANCEL
212command.
213.SP
214.BI "SVCCLAIM " service " " version
215Another client has claimed a later version of the named
216.IR service .
217The recipient is no longer the provider of this service.
218.SP
219.BI "SVCJOB " jobid " " service " " command " " args \fR...
220Announces the arrival of a new job. The
221.I jobid
222is a simple token consisting of alphanumeric characters which
223.B tripe
224uses to identify this job.
225.PP
226The service provider can reply to the job using the commands
227.BR SVCINFO ,
228.B SVCOK
229and
230.BR SVCFAIL .
231The first of these sends an
232.B INFO
233response and leaves the job active; the other two send an
234.B OK
235or
236.B FAIL
237response respectively, and mark the job as being complete.
238.PP
239(Since
240.B SVCSUBMIT
241is a potentially long-running command, it can be run in the background.
242This detail is hidden from service providers:
243.B tripe
244will issue the corresponding
245.BR BG ...
246responses when appropriate.)
247.SS "Network addresses"
248A network address is a sequence of tokens. The first is a token
249identifying the network address family. The length of an address and
250the meanings of the subsequent tokens depend on the address family.
251Address family tokens are not case-sensitive on input; on output, they
252are always in upper-case.
253.PP
254At present, only one address family is understood.
255.TP
256.BI "INET " address " \fR[" port \fR]
257An Internet socket, naming an IPv4 address and UDP port. On output, the
258address is always in numeric dotted-quad form, and the port is given as
259a plain number. On input, DNS hostnames and symbolic port names are
260permitted; if omitted, the default port 4070 is used. Name resolution
261does not block the main server, but will block the requesting client,
262unless the command is run in the background.
263.PP
264If, on input, no recognized address family token is found, the following
265tokens are assumed to represent an
266.B INET
267address. Addresses output by the server always have an address family
268token.
269.SS "Key-value output"
270Some commands (e.g.,
271.B STATS
272and
273.BR SERVINFO )
274produce output in the form of
275.IB key = value
276pairs, one per token. Neither the
277.I key
278nor the
279.I value
280contain spaces.
281.SS "Trace lists"
282Commands which enable or disable kinds of output (e.g.,
283.B TRACE
284and
285.BR WATCH )
286work in similar ways. They take a single optional argument, which
287consists of a string of letters selecting message types, optionally
288interspersed with
289.RB ` + '
290to enable, or
291.RB ` \- '
292to disable, the subsequently listed types.
293.PP
294If the argument is omitted, the available message types are displayed,
295one to an
296.B INFO
297line, in a fixed-column format. Column zero contains the key letter for
298selecting that message type; column one contains either a space or a
299.RB ` + '
300sign, if the message type is disabled or enabled respectively; and a
301textual description of the message type begins at column 3 and continues
302to the end of the line.
303.PP
304Lowercase key letters control individual message types. Uppercase key
305letters control collections of message types.
306.
307.\"--------------------------------------------------------------------------
308.SH "COMMAND REFERENCE"
309.
310.\"* 10 Commands
311The commands provided are:
312.SP
313.BI "ADD \fR[" options "\fR] " peer " " address "\fR..."
314Adds a new peer. The peer is given the name
315.IR peer ;
316the peer's public key is assumed to be in the file
317.B keyring.pub
318(or whatever alternative file was specified in the
319.B \-K
320option on the command line). The
321.I address
322is the network address (see above for the format) at which the peer can
323be contacted. The following options are recognized.
324.RS
325.\"+opts
326.TP
327.BI "\-background " tag
328Run the command in the background, using the given
329.IR tag .
330.TP
331.B "\-cork"
332Don't send an immediate challenge to the peer; instead, wait until it
333sends us something before responding.
334.TP
335.BI "\-keepalive " time
336Send a no-op packet if we've not sent a packet to the peer in the last
337.I time
338interval. This is useful for persuading port-translating firewalls to
339believe that the `connection' is still active. The
340.I time
341is expressed as a nonnegative integer followed optionally by
342.BR d ,
343.BR h ,
344.BR m ,
345or
346.BR s
347for days, hours, minutes, or seconds respectively; if no suffix is
348given, seconds are assumed.
349.TP
350.BI "\-key " tag
351Use the public key
352.I tag
353to authenticate the peer. The default is to use the key tagged
354.IR peer .
355.TP
356.B "\-mobile"
357The peer is a mobile device, and is likely to change address rapidly.
358If a packet arrives from an unknown address, the server's usual response
359is to log a warning and discard it. If the server knows of any mobile
360peers, however, it will attempt to decrypt the packet using their keys,
361and if one succeeds, the server will update its idea of the peer's
362address and emit an
363.B NEWADDR
364notification.
365.TP
366.BI "\-priv " tag
367Use the private key
368.I tag
369to authenticate to the peer. The default is to use the key named in the
370.RB ` \-t '
371command-line option, or a key with type
372.B tripe
373or
374.BR tripe-dh :
375see
376.BR tripe (8)
377for the details.
378.TP
379.BI "\-tunnel " tunnel
380Use the named tunnel driver, rather than the default.
381.\"-opts
382.RE
383.SP
384.BI "ADDR " peer
385Emits an
386.B INFO
387line reporting the IP address and port number stored for
388.IR peer .
389.SP
390.BI "ALGS \fR[" peer \fR]
391Emits information about the cryptographic algorithms in use, in
392key-value form. If a
393.I peer
394is given, then describe the algorithms used in the association with that
395peer; otherwise describe the default algorithms.
396.RS
397.PP
398The keys are as follows.
399.TP
400.B kx-group
401Type of key-exchange group in use, currently either
402.B ec
403or
404.BR prime .
405.TP
406.B kx-group-order-bits
407Length of the group order, in bits. This gives an approximate measure
408of the group strength.
409.TP
410.B kx-group-elt-bits
411Length of a group element, in bits. This may be useful when analyzing
412protocol traces.
413.TP
414.B hash
415The hash function in use, e.g.,
416.BR sha256 .
417.TP
418.B mgf
419The mask-generating function in use, e.g.,
420.BR whirlpool-mgf .
421.TP
422.B hashsz
423The size of the hash function's output, in octets.
424.TP
425.B bulk-transform
426The name of the bulk-crypto transform.
427.TP
428.B bulk-overhead
429The amount of overhead, in bytes, caused by the crypto transform.
430.TP
431.B cipher
432The name of the bulk data cipher in use, e.g.,
433.BR blowfish-cbc .
434.TP
435.B cipher-keysz
436The length of key used by the bulk data cipher, in octets.
437.TP
438.B cipher-blksz
439The block size of the bulk data cipher, or zero if it's not based on a
440block cipher.
441.TP
442.B cipher-data-limit
443The maximum amount of data to be encrypted using a single key. (A new
444key exchange is instigated well before the limit is reached, in order to
445allow for a seamless changeover of keys.)
446.TP
447.B mac
448The message authentication algorithm in use, e.g.,
449.BR ripemd160-hmac .
450.TP
451.B mac-keysz
452The length of the key used by the message authentication algorithm, in
453octets.
454.TP
455.B mac-tagsz
456The length of the message authentication tag, in octets.
457.TP
458.B blkc
459The block cipher in use, e.g.,
460.BR blowfish .
461.TP
462.B blkc-keysz
463The length of key used by the block cipher, in octets.
464.TP
465.B blkc-blksz
466The block size of the block cipher.
467.PP
468The various sizes are useful, for example, when computing the MTU for a
469tunnel interface. If
470.I MTU
471is the MTU of the path to the peer, then the tunnel MTU should be
472.IP
473.I MTU
474\- 29 \-
475.I bulk-overhead
476.PP
477allowing 20 bytes of IP header, 8 bytes of UDP header, a packet type
478octet, and the bulk-crypto transform overhead (which includes the
479sequence number).
480.RE
481.SP
482.BI "BGCANCEL " tag
483Cancels the background job with the named
484.IR tag .
485.SP
486.BI "CHECKCHAL " challenge
487Verifies a challenge as being one earlier issued by
488.B GETCHAL
489and not previously either passed to
490.B CHECKCHAL
491or in a greeting message.
492.SP
493.B "DAEMON"
494Causes the server to disassociate itself from its terminal and become a
495background task. This only works once. A notification is issued.
496.SP
497.BI "EPING \fR[" options "\fR] " peer
498Sends an encrypted ping to the peer, and expects an encrypted response.
499This checks that the peer is running (and not being impersonated), and
500that it can encrypt and decrypt packets correctly. Options and
501responses are the same as for the
502.B PING
503command.
504.SP
505.BI "FORCEKX " peer
506Requests the server to begin a new key exchange with
507.I peer
508immediately.
509.SP
510.B "GETCHAL"
511Requests a challenge. The challenge is returned in an
512.B INFO
513line, as a base64-encoded string. See
514.BR CHECKCHAL .
515.SP
516.BI "GREET " peer " " challenge
517Sends a greeting packet containing the
518.I challenge
519(base-64 encoded) to the named
520.IR peer .
521The expectation is that this will cause the peer to recognize us and
522begin a key-exchange.
523.SP
524.B "HELP"
525Causes the server to emit an
526.B INFO
527line for each command it supports. Each line lists the command name,
528followed by the names of the arguments. This may be helpful as a memory
529aid for interactive use, or for program clients probing for features.
530.SP
531.BI "IFNAME " peer
532Emits an
533.B INFO
534line containing the name of the network interface used to collect IP
535packets which are to be encrypted and sent to
536.IR peer .
537Used by configuration scripts so that they can set up routing tables
538appropriately after adding new peers.
539.SP
540.B "JOBS"
541Emits an
542.B INFO
543line giving the tag for each outstanding background job.
544.SP
545.BI "KILL " peer
546Causes the server to forget all about
547.IR peer .
548All keys are destroyed, and no more packets are sent. No notification
549is sent to the peer: if it's important that the peer be notified, you
550must think of a way to do that yourself.
551.SP
552.B "LIST"
553For each currently-known peer, an
554.B INFO
555line is written containing the peer's name, as given to
556.BR ADD .
557.SP
558.BI "NOTIFY " tokens\fR...
559Issues a
560.B USER
561notification to all interested administration clients.
562.SP
563.BI "PEERINFO " peer
564Returns information about a peer, in key-value form. The following keys
565are returned.
566.RS
567.TP
568.B tunnel
569The tunnel driver used for this peer.
570.TP
571.B keepalive
572The keepalive interval, in seconds, or zero if no keepalives are to be
573sent.
574.TP
575.B key
576The (short) key tag being used for the peer, as passed to the
577.B ADD
578command.
579.TP
580.B current-key
581The full key tag of the peer's public key currently being used. This
582may change during the life of the association.
583.TP
584.B private-key
585The private key tag being used for the peer, as passed to the
586.B ADD
587command, or the
588.RB ` \-t '
589command-line option. If neither of these was given explicitly, the
590private key tag is shown as
591.RB ` (default) ',
592since there is no fixed tag used under these circumstances.
593.TP
594.B current-private-key
595The full key tag of the private key currently being used for this
596association. This may change during the life of the association.
597.TP
598.B corked
599Either
600.B t
601or
602.B nil
603depending on whether or not (respectively) key-exchange is waiting for
604the peer to initiate.
605.TP
606.B mobile
607Either
608.B t
609or
610.B nil
611depending on whether or not (respectively) the peer is expected to
612change its address unpredictably.
613.RE
614.SP
615.BI "PING \fR[" options "\fR] " peer
616Send a transport-level ping to the peer. The ping and its response are
617not encrypted or authenticated. This command, possibly in conjunction
618with tracing, is useful for ensuring that UDP packets are actually
619flowing in both directions. See also the
620.B EPING
621command.
622.IP
623An
624.B INFO
625line is printed describing the outcome:
626.RS
627.TP
628.BI "ping-ok " millis
629A response was received
630.I millis
631after the ping was sent.
632.TP
633.BI "ping-timeout"
634No response was received within the time allowed.
635.TP
636.BI "ping-peer-died"
637The peer was killed (probably by another admin connection) before a
638response was received.
639.RE
640.IP
641Options recognized for this command are:
642.RS
643.\"+opts
644.TP
645.BI "\-background " tag
646Run the command in the background, using the given
647.IR tag .
648.TP
649.BI "\-timeout " time
650Wait for
651.I time
652seconds before giving up on a response. The default is 5 seconds. The
653.I time
654is expressed as a nonnegative integer followed optionally by
655.BR d ,
656.BR h ,
657.BR m ,
658or
659.BR s
660for days, hours, minutes, or seconds respectively; if no suffix is
661given, seconds are assumed.
662.\"-opts
663.RE
664.SP
665.B "PORT"
666Emits an
667.B INFO
668line containing just the number of the UDP port used by the
669.B tripe
670server. If you've allowed your server to allocate a port dynamically,
671this is how to find out which one it chose.
672.SP
673.B "RELOAD"
674Instructs the server to recheck its keyring files. The server checks
675these periodically anyway but it may be necessary to force a recheck,
676for example after adding a new peer key.
677.SP
678.B "QUIT"
679Instructs the server to exit immediately. A warning is sent.
680.SP
681.B "SERVINFO"
682Returns information about the server, in the form of key-value pairs.
683The following keys are used.
684.RS
685.TP
686.B implementation
687A keyword naming the implementation of the
688.BR tripe (8)
689server. The current implementation is called
690.BR edgeware-tripe .
691.TP
692.B version
693The server's version number, as reported by
694.BR VERSION .
695.TP
696.B daemon
697Either
698.B t
699or
700.BR nil ,
701if the server has or hasn't (respectively) become a daemon.
702.RE
703.SP
704.BI "SETIFNAME " peer " " new-name
705Informs the server that the
706.IR peer 's
707tunnel-interface name has been changed to
708.IR new-name .
709This is useful if firewalling decisions are made based on interface
710names: a setup script for a particular peer can change the name, and
711then update the server's records so that they're accurate.
712.SP
713.BI "STATS " peer
714Emits a number of
715.B INFO
716lines, each containing one or more statistics in the form
717.IB name = value \fR.
718The statistics-gathering is experimental and subject to change.
719.SP
720.BI "SVCCLAIM " service " " version
721Attempts to claim the named
722.IR service ,
723offering the given
724.IR version .
725The claim is successful if the service is currently unclaimed, or if
726a version earlier than
727.I version
728is provided; otherwise the command fails with the error
729.BR "service-exists" .
730.SP
731.BI "SVCENSURE " service " \fR[" version \fR]
732Ensure that
733.I service
734is provided, and (if specified) to at least the given
735.IR version .
736An error is reported if these conditions are not met; otherwise the
737command succeeds silently.
738.SP
739.BI "SVCFAIL " jobid " " tokens \fR...
740Send a
741.B FAIL
742(or
743.BR BGFAIL )
744response to the service job with the given
745.IR jobid ,
746passing the
747.I tokens
748as the reason for failure. The job is closed.
749.SP
750.BI "SVCINFO " jobid " " tokens \fR...
751Send an
752.B INFO
753(or
754.BR BGINFO )
755response to the service job with the given
756.IR jobid ,
757passing the
758.I tokens
759as the info message. The job remains open.
760.SP
761.B "SVCLIST"
762Output a line of the form
763.RS
764.IP
765.B INFO
766.I service
767.I version
768.PP
769for each service currently provided.
770.RE
771.SP
772.BI "SVCOK " jobid
773Send an
774.B OK
775(or
776.BR BGINFO )
777response to the service job with the given
778.IR jobid .
779The job is closed.
780.SP
781.BI "SVCQUERY " service
782Emits a number of
783.B info
784lines in key-value format, describing the named
785.IR service.
786The following keys are used.
787.RS
788.TP
789.B name
790The service's name.
791.TP
792.B version
793The service's version string.
794.RE
795.SP
796.BI "SVCRELEASE " service
797Announce that the client no longer wishes to provide the named
798.IR service .
799.SP
800.BI "SVCSUBMIT \fR[" options "\fR] " service " " command " " arguments \fR...
801Submit a job to the provider of the given
802.IR service ,
803passing it the named
804.I command
805and the given
806.IR arguments .
807The following options are accepted.
808.RS
809.\"+opts
810.TP
811.BI "\-background " tag
812Run the command in the background, using the given
813.IR tag .
814.TP
815.BI "\-version " version
816Ensure that at least the given
817.I version
818of the service is available before submitting the job.
819.RE
820.\"-opts
821.SP
822.BR "TRACE " [\fIoptions\fP]
823Selects trace outputs: see
824.B "Trace lists"
825above. Message types provided are:
826.RS
827.PP
828Currently, the following tracing options are supported:
829.TP
830.B t
831Tunnel events: reception of packets to be encrypted, and injection of
832successfully-decrypted packets.
833.TP
834.B r
835Peer management events: creation and destruction of peer attachments,
836and arrival of messages.
837.TP
838.B a
839Administration interface: acceptance of new connections, and handling of
840the backgroud name-resolution required by the
841.B ADD
842command.
843.TP
844.B s
845Handling of symmetric keysets: creation and expiry of keysets, and
846encryption and decryption of messages.
847.TP
848.B x
849Key exchange: reception, parsing and emission of key exchange messages.
850.TP
851.B m
852Key management: loading keys and checking for file modifications.
853.TP
854.B l
855Display information about challenge issuing and verification.
856.TP
857.B p
858Display contents of packets sent and received by the tunnel and/or peer
859modules.
860.TP
861.B c
862Display inputs, outputs and intermediate results of cryptographic
863operations. This includes plaintext and key material. Use with
864caution.
865.TP
866.B A
867All of the above.
868.PP
869Note that the
870.B p
871(packet contents)
872and
873.B c
874(crypto details)
875outputs provide extra detail for other outputs. Specifying
876.B p
877without
878.BR r
879or
880.B t
881isn't useful; neither is specifying
882.B c
883without one of
884.BR s ,
885.BR l ,
886.B x
887or
888.BR m .
889.RE
890.SP
891.B "TUNNELS"
892For each available tunnel driver, an
893.B INFO
894line is printed giving its name.
895.SP
896.B "VERSION"
897Causes the server to emit an
898.B INFO
899line stating its software version, as two tokens: the server name, and
900its version string. The server name
901.B tripe
902is reserved to the Straylight/Edgeware implementation.
903.SP
904.BR "WATCH " [\fIoptions\fP]
905Enables or disables asynchronous broadcasts
906.IR "for the current connection only" .
907See
908.B "Trace lists"
909above. The default watch state for the connection the server opens
910automatically on stdin/stdout is to show warnings and trace messages;
911other connections show no asynchronous broadcast messages. (This is
912done in order to guarantee that a program reading the server's stdout
913does not miss any warnings.)
914.RS
915.PP
916Message types provided are:
917.TP
918.B t
919.B TRACE
920messages.
921.TP
922.B n
923.B NOTE
924messages.
925.TP
926.B w
927.B WARN
928messages.
929.TP
930.B A
931All of the above.
932.RE
933.SP
934.BI "WARN " tokens\fR...
935Issues a
936.B USER
937warning to all interested administration clients.
938.
939.\"--------------------------------------------------------------------------
940.SH "ERROR MESSAGES"
941.
942.\"* 20 Error messages (FAIL codes)
943The following
944.B FAIL
945(or
946.BR BGFAIL )
947messages are sent to clients as a result of errors during command
948processing.
949.SP
950.BI "already-daemon"
951(For
952.BR DAEMON .)
953The
954.B tripe
955server is already running as a daemon.
956.SP
957.BI "bad-addr-syntax " message
958(For commands accepting socket addresses.) The address couldn't be
959understood.
960.SP
961.BI "bad-base64 " message
962(For commands accepting Base64-encoded input.) The Base64-encoded
963string was invalid.
964.SP
965.BI "bad-syntax " cmd " " message
966(For any command.) The command couldn't be understood: e.g., the number
967of arguments was wrong.
968.SP
969.BI "bad-time-spec " token
970The
971.I token
972is not a valid time interval specification. Acceptable time
973specifications are nonnegative integers followed optionally by
974.BR d ,
975.BR h ,
976.BR m ,
977or
978.BR s ,
979for days, hours, minutes, or seconds, respectively.
980.SP
981.BI "bad-trace-option " char
982(For
983.BR TRACE .)
984An unknown trace option was requested.
985.SP
986.BI "bad-watch-option " char
987(For
988.BR WATCH .)
989An unknown watch option was requested.
990.SP
991.BI "daemon-error " ecode " " message
992(For
993.BR DAEMON .)
994An error occurred during the attempt to become a daemon, as reported by
995.IR message .
996.SP
997.BI "invalid-port " number
998(For
999.BR ADD .)
1000The given port number is out of range.
1001.SP
1002.BI "not-service-provider " service
1003(For
1004.BR SVCRELEASE .)
1005The invoking client is not the current provider of the named
1006.IR service ,
1007and is therefore not allowed to release it.
1008.SP
1009.BI "peer-create-fail " peer
1010(For
1011.BR ADD .)
1012Adding
1013.I peer
1014failed for some reason. A warning should have been emitted explaining
1015why.
1016.SP
1017.BI "peer-addr-exists " address\fR...
1018(For
1019.BR ADD .)
1020There is already a peer with the given
1021.IR address .
1022.SP
1023.BI "peer-exists " peer
1024(For
1025.BR ADD .)
1026There is already a peer named
1027.IR peer .
1028.SP
1029.B "ping-send-failed"
1030The attempt to send a ping packet failed, probably due to lack of
1031encryption keys.
1032.SP
1033.BI "resolve-error " hostname
1034(For
1035.BR ADD .)
1036The DNS name
1037.I hostname
1038could not be resolved.
1039.SP
1040.BI "resolver-timeout " hostname
1041(For
1042.BR ADD .)
1043The DNS name
1044.I hostname
1045took too long to resolve.
1046.SP
1047.BI "service-exists " service " " version
1048(For
1049.BR SVCCLAIM .)
1050Another client is already providing the stated
1051.I version
1052of the
1053.IR service .
1054.SP
1055.BI "service-too-old " service " " version
1056(For
1057.B SVCENSURE
1058and
1059.BR SVCSUBMIT .)
1060Only the given
1061.I version
1062of the requested
1063.I service
1064is available, which does not meet the stated requirements.
1065.SP
1066.BI "tag-exists " tag
1067(For long-running commands.) The named
1068.I tag
1069is already the tag of an outstanding job.
1070.SP
1071.BI "unknown-command " token
1072The command
1073.I token
1074was not recognized.
1075.SP
1076.BI "unknown-jobid " jobid
1077(For
1078.BR SVCOK ,
1079.BR SVCFAIL ,
1080and
1081.BR SVCINFO .)
1082The token
1083.I jobid
1084is not recognized as identifying an outstanding job. It may have just
1085been cancelled.
1086.SP
1087.BI "unknown-peer " name
1088(For
1089.BR ADDR ,
1090.BR IFNAME ,
1091.BR KILL ,
1092.BR SETIFNAME ,
1093and
1094.BR STATS .)
1095There is no peer called
1096.IR name .
1097.SP
1098.BI "unknown-port " port
1099(For
1100.BR ADD .)
1101The port name
1102.I port
1103couldn't be found in
1104.BR /etc/services .
1105.TP
1106.BI "unknown-service " service
1107(For
1108.BR SVCENSURE ,
1109.BR SVCQUERY ,
1110.BR SVCRELEASE ,
1111and
1112.BR SVCSUBMIT .)
1113The token
1114.I service
1115is not recognized as the name of a client-provided service.
1116.TP
1117.BI "unknown-tag " tag
1118(For
1119.BR BGCANCEL .)
1120The given
1121.I tag
1122is not the tag for any outstanding background job. It may have just
1123finished.
1124.
1125.\"--------------------------------------------------------------------------
1126.SH "NOTIFICATIONS"
1127.
1128.\"* 30 Notification broadcasts (NOTE codes)
1129The following notifications are sent to clients who request them.
1130.SP
1131.BI "ADD " peer " " ifname " " address \fR...
1132A new peer has been added. The peer's name is
1133.IR peer ,
1134its tunnel is network interface
1135.IR ifname ,
1136and its network address is
1137.IR address .
1138.SP
1139.BI "DAEMON"
1140The server has forked off into the sunset and become a daemon.
1141.SP
1142.BI "GREET " challenge " " address \fR...
1143A valid greeting was received, with the given challenge (exactly as it
1144was returned by
1145.B GETCHAL
1146earlier).
1147.SP
1148.BI "KILL " peer
1149The peer
1150.I peer
1151has been killed.
1152.SP
1153.BI "KXDONE " peer
1154Key exchange with
1155.I peer
1156finished successfully.
1157.SP
1158.BI "KXSTART " peer
1159Key exchange with
1160.I peer
1161has begun or restarted. If key exchange keeps failing, this message
1162will be repeated periodically.
1163.SP
1164.BI "NEWADDR " peer " " address
1165The given mobile
1166.IR peer 's
1167IP address has been changed to
1168.IR address .
1169.SP
1170.BI "NEWIFNAME " peer " " old-name " " new-name
1171The given
1172.IR peer 's
1173tunnel interface name has been changed from
1174.I old-name
1175to
1176.IR new-name ,
1177as a result of a
1178.B SETIFNAME
1179command.
1180.SP
1181.BI "SVCCLAIM " service " " version
1182The named
1183.I service
1184is now available, at the stated
1185.IR version .
1186.SP
1187.BI "SVCRELEASE " service
1188The named
1189.I service
1190is no longer available.
1191.SP
1192.BI "USER " tokens\fR...
1193An administration client issued a notification using the
1194.B NOTIFY
1195command.
1196.
1197.\"--------------------------------------------------------------------------
1198.SH "WARNINGS"
1199.
1200.\"* 40 Warning broadcasts (WARN codes)
1201.\"+sep
1202There are many possible warnings. They are categorized according to
1203their first tokens.
1204.PP
1205Many of these warnings report system errors. These are reported as a
1206pair of tokens, described below as
1207.I ecode
1208and
1209.IR message .
1210The
1211.I ecode
1212is a string of the form
1213.BI E number
1214giving the
1215.BR errno (3)
1216value of the error; the
1217.I message
1218is the `human-readable' form of the message, as reported by
1219.BR strerror (3).
1220.SS "ABORT warnings"
1221These all indicate that the
1222.B tripe
1223server has become unable to continue. If enabled, the server will dump
1224core in its configuration directory.
1225.SP
1226.BI "ABORT repeated-select-errors"
1227The main event loop is repeatedly failing. If the server doesn't quit,
1228it will probably waste all available CPU doing nothing.
1229.SS "ADMIN warnings"
1230These indicate a problem with the administration socket interface.
1231.SP
1232.BI "ADMIN accept-error " ecode " " message
1233There was an error while attempting to accept a connection from a new
1234client.
1235.SP
1236.BI "ADMIN client-write-error " ecode " " message
1237There was an error sending data to a client. The connection to the
1238client has been closed.
1239.SS "CHAL warnings"
1240These indicate errors in challenges, either in the
1241.B CHECKCHAL
1242command or in greeting packets.
1243.SP
1244.B "CHAL impossible-challenge"
1245The server hasn't issued any challenges yet. Quite how anyone else
1246thought he could make one up is hard to imagine.
1247.SP
1248.B "CHAL incorrect-tag"
1249Challenge received contained the wrong authentication data. It might be
1250very stale, or a forgery.
1251.SP
1252.B "CHAL invalid-challenge"
1253Challenge received was the wrong length. We might have changed MAC
1254algorithms since the challenge was issued, or it might just be rubbish.
1255.SP
1256.B "CHAL replay duplicated-sequence"
1257Challenge received was a definite replay of an old challenge. Someone's
1258up to something!
1259.SP
1260.B "CHAL replay old-sequence"
1261Challenge received was old, but maybe not actually a replay. Try again.
1262.SS "KEYMGMT warnings"
1263These indicate a problem with the keyring files, or the keys stored in
1264them. The first token is either
1265.B private-keyring
1266or
1267.B public-keyring
1268(notated
1269.IB which -keyring
1270in the descriptions below) indicating which keyring file is problematic,
1271and the second token is the filename of the keyring. Frequently a key
1272tag may be given next, preceded by the token
1273.BR key .
1274.SP
1275.BI "KEYMGMT private-keyring " file " key " tag " incorrect-public-key"
1276The private key doesn't record the correct corresponding public key.
1277.SP
1278.BI "KEYMGMT public-keyring " file " key " tag " algorithm-mismatch"
1279A peer's public key doesn't request the same algorithms as our private
1280key.
1281.SP
1282.BI "KEYMGMT " which "-keyring " file " key " tag " bad-tag-length " len
1283The key attributes specify the length of MAC tag as
1284.I len
1285but this is an invalid value \(en either too large or not a multiple of
1286eight.
1287.SP
1288.BI "KEYMGMT " which "-keyring " file " key " tag " bad-tag-length-string " str
1289The key attributes contain
1290.I str
1291where a MAC tag length was expected. The key was generated wrongly.
1292.SP
1293.BI "KEYMGMT private-keyring " file " key " tag " changed-group"
1294The private keyring has been changed, but the new private key can't be
1295used because it uses a different group for Diffie\(enHellman key
1296exchange.
1297.SP
1298.BI "KEYMGMT " which "-keyring " file " io-error " ecode " " message
1299A system error occurred while opening or reading the keyring file.
1300.SP
1301.BI "KEYMGMT " which "-keyring " file " key " tag " unknown-bulk-transform " bulk
1302The key specifies the use of an unknown bulk-crypto transform
1303.IR bulk .
1304Maybe the key was generated wrongly, or maybe the version of Catacomb
1305installed is too old.
1306.SP
1307.BI "KEYMGMT " which "-keyring " file " key " tag " unknown-cipher " cipher
1308The key specifies the use of an unknown symmetric encryption algorithm
1309.IR cipher .
1310Maybe the key was generated wrongly, or maybe the version of
1311Catacomb installed is too old.
1312.SP
1313.BI "KEYMGMT " which "-keyring " file " key " tag " unknown-group-type " type
1314The key specifies the use of a Diffie\(enHellman group of an unknown
1315.IR type .
1316Maybe the key was generated wrongly, or maybe the version of
1317.BR tripe (8)
1318is too old.
1319.SP
1320.BI "KEYMGMT " which "-keyring " file " key " tag " unknown-hash " hash
1321The key specifies the use of an unknown hash function
1322.IR hash .
1323Maybe the key was generated wrongly, or maybe the version of Catacomb
1324installed is too old.
1325.SP
1326.BI "KEYMGMT " which "-keyring " file " key " tag " unknown-mac " mac
1327The key specifies the use of an unknown message authentication code
1328.IR mac .
1329Maybe the key was generated wrongly, or maybe the version of Catacomb
1330installed is too old.
1331.SP
1332.BI "KEYMGMT " which "-keyring " file " key " tag " unknown-mgf-cipher " mgf
1333The key specifies the use of an unknown symmetric encryption function
1334.I mgf
1335for mask generation. Maybe the key was generated wrongly, or maybe the
1336version of Catacomb installed is too old.
1337.SP
1338.BI "KEYMGMT " which "-keyring " file " key " tag " unknown-serialization-format " ser
1339The key specifies the use of an unknown serialization format
1340.I ser
1341for hashing group elements. Maybe the key was generated wrongly, or
1342maybe the version of Catacomb installed is too old.
1343.SP
1344.BI "KEYMGMT " which "-keyring " file " key " tag " no-hmac-for-hash " hash
1345No message authentication code was given explicitly, and there's no
1346implementation of HMAC for the selected hash function
1347.IR hash .
1348.SP
1349.BI "KEYMGMT " which "-keyring " file " key " tag " " alg " " name " no-key-size " hashsz
1350The
1351.I alg
1352token is either
1353.B cipher
1354or
1355.BR mac .
1356The named algorithm requires more key material than the hash function
1357can provide. You must change either the hash function, or the cipher or
1358MAC.
1359.SP
1360.BI "KEYMGMT " which "-keyring " file " key " tag " mgf " mgf " restrictive-key-schedule"
1361The cipher selected for mask-generation is unsuitable because it can't
1362accept arbitrary-sized keys.
1363.SP
1364.BI "KEYMGMT " which "-keyring " file " key-not-found " tag
1365A key named
1366.I tag
1367couldn't be found in the keyring.
1368.SP
1369.BI "KEYMGMT " which "-keyring " file " line " line " " message
1370The contents of the keyring file are invalid. There may well be a bug
1371in the
1372.BR key (1)
1373program.
1374.SS "KX warnings"
1375These indicate problems during key-exchange. Many indicate either a bug
1376in the server (either yours or the remote one), or some kind of attack
1377in progress. All name a
1378.I peer
1379as the second token: this is the peer the packet is apparently from,
1380though it may have been sent by an attacker instead.
1381.PP
1382In the descriptions below,
1383.I msgtoken
1384is one of the tokens
1385.BR pre-challenge ,
1386.BR cookie ,
1387.BR challenge ,
1388.BR reply ,
1389.BR switch-rq ,
1390or
1391.BR switch-ok .
1392.SP
1393.BI "KX " peer " algorithms-mismatch local-private-key " privtag " peer-public-key " pubtag
1394The algorithms specified in the peer's public key
1395.I pubtag
1396don't match the ones described in the private key
1397.IR privtag .
1398.SP
1399.BI "KX " peer " bad-expected-reply-log"
1400The challenges
1401.B tripe
1402uses in its protocol contain a check value which proves that the
1403challenge is honest. This message indicates that the check value
1404supplied is wrong: someone is attempting to use bogus challenges to
1405persuade your
1406.B tripe
1407server to leak private key information. No chance!
1408.SP
1409.BI "KX " peer " decrypt-failed reply\fR|\fBswitch-ok"
1410A symmetrically-encrypted portion of a key-exchange message failed to
1411decrypt.
1412.SP
1413.BI "KX " peer " invalid " msgtoken
1414A key-exchange message was malformed. This almost certainly indicates a
1415bug somewhere.
1416.SP
1417.BI "KX " peer " incorrect cookie\fR|\fBswitch-rq\fR|\fBswitch-ok"
1418A message didn't contain the right magic data. This may be a replay of
1419some old exchange, or random packets being sent in an attempt to waste
1420CPU.
1421.SP
1422.BI "KX " peer " " which "-key-expired"
1423The local private key or the peer's public key (distinguished by
1424.IR which )
1425has expired. Either you or the peer's maintainer should have arranged
1426for a replacement before now.
1427.SP
1428.BI "KX " peer " sending-cookie"
1429We've received too many bogus pre-challenge messages. Someone is trying
1430to flood us with key-exchange messages and make us waste CPU on doing
1431hard asymmetric crypto sums.
1432.SP
1433.BI "KX " peer " unexpected " msgtoken
1434The message received wasn't appropriate for this stage of the key
1435exchange process. This may mean that one of our previous packets got
1436lost. For
1437.BR pre-challenge ,
1438it may simply mean that the peer has recently restarted.
1439.SP
1440.BI "KX " peer " unknown-challenge"
1441The peer is asking for an answer to a challenge which we don't know
1442about. This may mean that we've been inundated with challenges from
1443some malicious source
1444.I who can read our messages
1445and discarded the valid one.
1446.SP
1447.BI "KX " peer " unknown-message 0x" nn
1448An unknown key-exchange message arrived.
1449.SS "PEER warnings"
1450These are largely concerned with management of peers and the low-level
1451details of the network protocol. The second token is usually the name of
1452a peer, or
1453.RB ` \- '
1454if none is relevant.
1455.SP
1456.BI "PEER " peer " bad-packet no-type"
1457An empty packet arrived. This is very strange.
1458.SP
1459.BI "PEER " peer " bad-packet unknown-category 0x" nn
1460The message category
1461.I nn
1462(in hex) isn't understood. Probably a strange random packet from
1463somewhere; could be an unlikely bug.
1464.SP
1465.BI "PEER " peer " bad-packet unknown-type 0x" nn
1466The message type
1467.I nn
1468(in hex) isn't understood. Probably a strange random packet from
1469somewhere; could be an unlikely bug.
1470.SP
1471.BI "PEER " peer " corrupt-encrypted-ping"
1472The peer sent a ping response which matches an outstanding ping, but its
1473payload is wrong. There's definitely a bug somewhere.
1474.SP
1475.BI "PEER " peer " corrupt-transport-ping"
1476The peer (apparently) sent a ping response which matches an outstanding
1477ping, but its payload is wrong. Either there's a bug, or the bad guys
1478are playing tricks on you.
1479.SP
1480.BI "PEER " peer " decrypt-failed"
1481An encrypted IP packet failed to decrypt. It may have been mangled in
1482transit, or may be a very old packet from an expired previous session
1483key. There is usually a considerable overlap in the validity periods of
1484successive session keys, so this shouldn't occur unless the key exchange
1485takes ages or fails.
1486.SP
1487.BI "PEER " peer " malformed-encrypted-ping"
1488The peer sent a ping response which is hopelessly invalid. There's
1489definitely a bug somewhere.
1490.SP
1491.BI "PEER " peer " malformed-transport-ping"
1492The peer (apparently) sent a ping response which is hopelessly invalid.
1493Either there's a bug, or the bad guys are playing tricks on you.
1494.SP
1495.BI "PEER " peer " packet-build-failed"
1496There wasn't enough space in our buffer to put the packet we wanted to
1497send. Shouldn't happen.
1498.SP
1499.BI "PEER \- socket-read-error " ecode " " message
1500An error occurred trying to read an incoming packet.
1501.SP
1502.BI "PEER " peer " socket-write-error " ecode " " message
1503An error occurred attempting to send a network packet. We lost that
1504one.
1505.SP
1506.BI "PEER " peer " unexpected-encrypted-ping 0x" id
1507The peer sent an encrypted ping response whose id doesn't match any
1508outstanding ping. Maybe it was delayed for longer than the server was
1509willing to wait, or maybe the peer has gone mad.
1510.SP
1511.BI "PEER \- unexpected-source " address\fR...
1512A packet arrived from
1513.I address
1514(a network address \(en see above), but no peer is known at that
1515address. This may indicate a misconfiguration, or simply be a result of
1516one end of a connection being set up before the other.
1517.SP
1518.BI "PEER " peer " unexpected-transport-ping 0x" id
1519The peer (apparently) sent a transport ping response whose id doesn't
1520match any outstanding ping. Maybe it was delayed for longer than the
1521server was willing to wait, or maybe the peer has gone mad; or maybe
1522there are bad people trying to confuse you.
1523.SS "SERVER warnings"
1524These indicate problems concerning the server process as a whole.
1525.SP
1526.BI "SERVER ignore signal " name
1527A signal arrived, but the server ignored it. Currently this happens for
1528.B SIGHUP
1529because that's a popular way of telling daemons to re-read their
1530configuration files. Since
1531.B tripe
1532re-reads its keyrings automatically and has no other configuration
1533files, it's not relevant, but it seemed better to ignore the signal than
1534let the server die.
1535.SP
1536.BI "SERVER quit signal " \fR[\fInn\fR|\fIname\fR]
1537A signal arrived and
1538.B tripe
1539is going to quit.
1540.SP
1541.BI "SERVER quit admin-request"
1542A client of the administration interface issued a
1543.B QUIT
1544command.
1545.SP
1546.BI "SERVER quit foreground-eof"
1547The server is running in foreground mode (the
1548.B \-F
1549option), and encountered end-of-file on standard input.
1550.SP
1551.BI "SERVER select-error " ecode " " message
1552An error occurred in the server's main event loop. This is bad: if it
1553happens too many times, the server will abort.
1554.SS "SYMM warnings"
1555These are concerned with the symmetric encryption and decryption
1556process.
1557.SP
1558.BI "SYMM replay old-sequence"
1559A packet was received with an old sequence number. It may just have
1560been delayed or duplicated, or it may have been an attempt at a replay
1561attack.
1562.SP
1563.BI "SYMM replay duplicated-sequence"
1564A packet was received with a sequence number we've definitely seen
1565before. It may be an accidental duplication because the 'net is like
1566that, or a deliberate attempt at a replay.
1567.SS "TUN warnings"
1568These concern the workings of the system-specific tunnel driver. The
1569second token is the name of the tunnel interface in question, or
1570.RB ` \- '
1571if none.
1572.SP
1573.BI "TUN \- bsd no-tunnel-devices"
1574The driver couldn't find an available tunnel device. Maybe if you
1575create some more
1576.BI /dev/tun nn
1577files, it will work.
1578.SP
1579.BI "TUN \- " tun-name " open-error " device " " ecode " " message
1580An attempt to open the tunnel device file
1581.I device
1582failed.
1583.SP
1584.BI "TUN \- linux config-error " ecode " " message
1585Configuring the Linux TUN/TAP interface failed.
1586.SP
1587.BI "TUN " ifname " " tun-name " read-error " ecode " " message
1588Reading from the tunnel device failed.
1589.SP
1590.BI "TUN " ifname " " tun-name " write-error " ecode " " message
1591Writing from the tunnel device failed.
1592.SP
1593.BI "TUN " ifname " slip bad-escape"
1594The SLIP driver encountered a escaped byte it wasn't expecting to see.
1595The erroneous packet will be ignored.
1596.SP
1597.BI "TUN " ifname " slip eof"
1598The SLIP driver encountered end-of-file on its input descriptor.
1599Pending data is discarded, and no attempt is made to read any more data
1600from that interface ever.
1601.SP
1602.BI "TUN " ifname " slip escape-end"
1603The SLIP driver encountered an escaped `end' marker. This probably
1604means that someone's been sending it junk. The erroneous packet is
1605discarded, and we hope that we've rediscovered synchronization.
1606.SP
1607.BI "TUN \- slip fork-error " ecode " " message
1608The SLIP driver encountered an error forking a child process while
1609allocating a new dynamic interface.
1610.SP
1611.BI "TUN \- slip no-slip-interfaces"
1612The driver ran out of static SLIP interfaces. Either preallocate more,
1613or use dynamic SLIP interface allocation.
1614.SP
1615.BI "TUN " ifname " slip overflow"
1616The SLIP driver gave up reading a packet because it got too large.
1617.SP
1618.BI "TUN \- slip pipe-error " ecode " " message
1619The SLIP driver encountered an error creating pipes while allocating a
1620new dynamic interface.
1621.SP
1622.BI "TUN \- slip read-ifname-failed " ecode " " message
1623The SLIP driver encountered an error reading the name of a dynamically
1624allocated interface. Maybe the allocation script is broken.
1625.SP
1626.BI "TUN \- unet config-error " ecode " " message
1627Configuring the Linux Unet interface failed. Unet is obsolete and
1628shouldn't be used any more.
1629.SP
1630.BI "TUN \- unet getinfo-error " ecode " " message
1631Reading information about the Unet interface failed. Unet is obsolete
1632and shouldn't be used any more.
1633.SS "USER warnings"
1634These are issued by administration clients using the
1635.B WARN
1636command.
1637.SP
1638.BI "USER " tokens\fR...
1639An administration client issued a warning.
1640.\"-sep
1641.
1642.\"--------------------------------------------------------------------------
1643.SH "SUMMARY"
1644.
1645.SS "Command responses"
1646.nf
1647.BI "BGDETACH " tag
1648.BI "BGFAIL " tag " " tokens \fR...
1649.BI "BGINFO " tag " " tokens \fR...
1650.BI "BGOK " tag
1651.BI "FAIL " tokens \fR...
1652.BI "INFO " tokens \fR...
1653.B OK
1654.fi
1655.\"= summary
1656.
1657.\"--------------------------------------------------------------------------
1658.SH "SEE ALSO"
1659.
1660.BR tripectl (1),
1661.BR tripe (8).
1662.PP
1663.IR "The Trivial IP Encryption Protocol" .
1664.
1665.\"--------------------------------------------------------------------------
1666.SH "AUTHOR"
1667.
1668Mark Wooding, <mdw@distorted.org.uk>
1669.
1670.\"----- That's all, folks --------------------------------------------------