/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-07-06 22:13:13 UTC
  • Revision ID: teddy@recompile.se-20190706221313-uaoa5cup12s72rec
mandos-ctl: Update Emacs lisp test runner code

* mandos-ctl: Update Emacs lisp after-save-hook test runner to use
              file-local-name if available (i.e. Emacs 26), or to use
              file-remote-p if not (Emacs 25).  Either should be more
              general than the tramp-* functions were.  Also use
              process-file-shell-command instead of shell-command,
              which enables the use of the less intrusive
              display-buffer-in-side-window action function argument
              to display-buffer.  This stops the takeover of buffers
              (and/or disappearance of windows) when saving.

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-04-10">
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>
 
41
      <year>2019</year>
35
42
      <holder>Teddy Hogeborn</holder>
36
43
      <holder>Björn Påhlsson</holder>
37
44
    </copyright>
61
68
      The computers run a small client program in the initial RAM disk
62
69
      environment which will communicate with a server over a network.
63
70
      All network communication is encrypted using TLS.  The clients
64
 
      are identified by the server using an OpenPGP key; each client
 
71
      are identified by the server using a TLS public key; each client
65
72
      has one unique to it.  The server sends the clients an encrypted
66
73
      password.  The encrypted password is decrypted by the clients
67
 
      using the same OpenPGP key, and the password is then used to
 
74
      using a separate OpenPGP key, and the password is then used to
68
75
      unlock the root file system, whereupon the computers can
69
76
      continue booting normally.
70
77
    </para>
73
80
  <refsect1 id="introduction">
74
81
    <title>INTRODUCTION</title>
75
82
    <para>
 
83
      <!-- This paragraph is a combination and paraphrase of two
 
84
           quotes from the 1995 movie “The Usual Suspects”. -->
76
85
      You know how it is.  You’ve heard of it happening.  The Man
77
86
      comes and takes away your servers, your friends’ servers, the
78
87
      servers of everybody in the same hosting facility. The servers
122
131
    </para>
123
132
    <para>
124
133
      So, at boot time, the Mandos client will ask for its encrypted
125
 
      data over the network, decrypt it to get the password, use it to
126
 
      decrypt the root file, and continue booting.
 
134
      data over the network, decrypt the data to get the password, use
 
135
      the password to decrypt the root file system, and the client can
 
136
      then continue booting.
127
137
    </para>
128
138
    <para>
129
139
      Now, of course the initial RAM disk image is not on the
135
145
      long, and will no longer give out the encrypted key.  The timing
136
146
      here is the only real weak point, and the method, frequency and
137
147
      timeout of the server’s checking can be adjusted to any desired
138
 
      level of paranoia
 
148
      level of paranoia.
139
149
    </para>
140
150
    <para>
141
151
      (The encrypted keys on the Mandos server is on its normal file
192
202
      <para>
193
203
        No.  The server only gives out the passwords to clients which
194
204
        have <emphasis>in the TLS handshake</emphasis> proven that
195
 
        they do indeed hold the OpenPGP private key corresponding to
196
 
        that client.
 
205
        they do indeed hold the private key corresponding to that
 
206
        client.
 
207
      </para>
 
208
    </refsect2>
 
209
    
 
210
    <refsect2 id="sniff">
 
211
      <title>How about sniffing the network traffic and decrypting it
 
212
      later by physically grabbing the Mandos client and using its
 
213
      key?</title>
 
214
      <para>
 
215
        We only use <acronym>PFS</acronym> (Perfect Forward Security)
 
216
        key exchange algorithms in TLS, which protects against this.
197
217
      </para>
198
218
    </refsect2>
199
219
    
215
235
      </para>
216
236
    </refsect2>
217
237
    
218
 
    <refsect2 id="fakeping">
219
 
      <title>Faking ping replies?</title>
 
238
    <refsect2 id="fakecheck">
 
239
      <title>Faking checker results?</title>
220
240
      <para>
221
 
        The default for the server is to use
 
241
        If the Mandos client does not have an SSH server, the default
 
242
        is for the Mandos server to use
222
243
        <quote><literal>fping</literal></quote>, the replies to which
223
244
        could be faked to eliminate the timeout.  But this could
224
245
        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.
 
246
        measures you like.  If the Mandos client
 
247
        <emphasis>has</emphasis> an SSH server, the default
 
248
        configuration (as generated by
 
249
        <command>mandos-keygen</command> with the
 
250
        <option>--password</option> option) is for the Mandos server
 
251
        to use an <command>ssh-keyscan</command> command with strict
 
252
        keychecking, which can not be faked.  Alternatively, IPsec
 
253
        could be used for the ping packets, making them secure.
229
254
      </para>
230
255
    </refsect2>
231
256
  </refsect1>
360
385
    </para>
361
386
  </refsect1>
362
387
  
 
388
  <refsect1 id="bugs">
 
389
    <title>BUGS</title>
 
390
    <xi:include href="bugs.xml"/>
 
391
  </refsect1>
 
392
  
363
393
  <refsect1 id="see_also">
364
394
    <title>SEE ALSO</title>
365
395
    <para>
393
423
    <variablelist>
394
424
      <varlistentry>
395
425
        <term>
396
 
          <ulink url="http://www.recompile.se/mandos">Mandos</ulink>
 
426
          <ulink url="https://www.recompile.se/mandos">Mandos</ulink>
397
427
        </term>
398
428
        <listitem>
399
429
          <para>