/mandos/trunk

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/trunk

« back to all changes in this revision

Viewing changes to intro.xml

  • Committer: Teddy Hogeborn
  • Date: 2019-02-10 03:54:09 UTC
  • Revision ID: teddy@recompile.se-20190210035409-l2mqp2ftzkggwybz
Do minor fix to make mandos-monitor work with new python-urwid

* mandos-monitor (UserInterface.log): Initialize to an
                                      urwid.SimpleListWalker([]), not
                                      an empty list.
  (UserInterface.log_message_raw): Fix off-by-one error.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
<?xml version="1.0" encoding="UTF-8"?>
2
2
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
3
3
"http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
4
 
<!ENTITY TIMESTAMP "2012-01-01">
 
4
<!ENTITY TIMESTAMP "2019-02-09">
5
5
<!ENTITY % common SYSTEM "common.ent">
6
6
%common;
7
7
]>
32
32
    <copyright>
33
33
      <year>2011</year>
34
34
      <year>2012</year>
 
35
      <year>2013</year>
 
36
      <year>2014</year>
 
37
      <year>2015</year>
 
38
      <year>2016</year>
 
39
      <year>2017</year>
 
40
      <year>2018</year>
35
41
      <holder>Teddy Hogeborn</holder>
36
42
      <holder>Björn Påhlsson</holder>
37
43
    </copyright>
61
67
      The computers run a small client program in the initial RAM disk
62
68
      environment which will communicate with a server over a network.
63
69
      All network communication is encrypted using TLS.  The clients
64
 
      are identified by the server using an OpenPGP key; each client
 
70
      are identified by the server using a TLS public key; each client
65
71
      has one unique to it.  The server sends the clients an encrypted
66
72
      password.  The encrypted password is decrypted by the clients
67
 
      using the same OpenPGP key, and the password is then used to
 
73
      using a separate OpenPGP key, and the password is then used to
68
74
      unlock the root file system, whereupon the computers can
69
75
      continue booting normally.
70
76
    </para>
73
79
  <refsect1 id="introduction">
74
80
    <title>INTRODUCTION</title>
75
81
    <para>
 
82
      <!-- This paragraph is a combination and paraphrase of two
 
83
           quotes from the 1995 movie “The Usual Suspects”. -->
76
84
      You know how it is.  You’ve heard of it happening.  The Man
77
85
      comes and takes away your servers, your friends’ servers, the
78
86
      servers of everybody in the same hosting facility. The servers
192
200
      <para>
193
201
        No.  The server only gives out the passwords to clients which
194
202
        have <emphasis>in the TLS handshake</emphasis> proven that
195
 
        they do indeed hold the OpenPGP private key corresponding to
196
 
        that client.
 
203
        they do indeed hold the private key corresponding to that
 
204
        client.
 
205
      </para>
 
206
    </refsect2>
 
207
    
 
208
    <refsect2 id="sniff">
 
209
      <title>How about sniffing the network traffic and decrypting it
 
210
      later by physically grabbing the Mandos client and using its
 
211
      key?</title>
 
212
      <para>
 
213
        We only use <acronym>PFS</acronym> (Perfect Forward Security)
 
214
        key exchange algorithms in TLS, which protects against this.
197
215
      </para>
198
216
    </refsect2>
199
217
    
215
233
      </para>
216
234
    </refsect2>
217
235
    
218
 
    <refsect2 id="fakeping">
219
 
      <title>Faking ping replies?</title>
 
236
    <refsect2 id="fakecheck">
 
237
      <title>Faking checker results?</title>
220
238
      <para>
221
 
        The default for the server is to use
 
239
        If the Mandos client does not have an SSH server, the default
 
240
        is for the Mandos server to use
222
241
        <quote><literal>fping</literal></quote>, the replies to which
223
242
        could be faked to eliminate the timeout.  But this could
224
243
        easily be changed to any shell command, with any security
225
 
        measures you like.  It could, for instance, be changed to an
226
 
        SSH command with strict keychecking, which could not be faked.
227
 
        Or IPsec could be used for the ping packets, making them
228
 
        secure.
 
244
        measures you like.  If the Mandos client
 
245
        <emphasis>has</emphasis> an SSH server, the default
 
246
        configuration (as generated by
 
247
        <command>mandos-keygen</command> with the
 
248
        <option>--password</option> option) is for the Mandos server
 
249
        to use an <command>ssh-keyscan</command> command with strict
 
250
        keychecking, which can not be faked.  Alternatively, IPsec
 
251
        could be used for the ping packets, making them secure.
229
252
      </para>
230
253
    </refsect2>
231
254
  </refsect1>
360
383
    </para>
361
384
  </refsect1>
362
385
  
 
386
  <refsect1 id="bugs">
 
387
    <title>BUGS</title>
 
388
    <xi:include href="bugs.xml"/>
 
389
  </refsect1>
 
390
  
363
391
  <refsect1 id="see_also">
364
392
    <title>SEE ALSO</title>
365
393
    <para>
393
421
    <variablelist>
394
422
      <varlistentry>
395
423
        <term>
396
 
          <ulink url="http://www.recompile.se/mandos">Mandos</ulink>
 
424
          <ulink url="https://www.recompile.se/mandos">Mandos</ulink>
397
425
        </term>
398
426
        <listitem>
399
427
          <para>