/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: 2012-05-24 18:10:10 UTC
  • Revision ID: teddy@recompile.se-20120524181010-cg4zcc6e5igbanbc
* Makefile (DOCBOOKTOMAN): Only run man --warnings if both "man" and
                           the en_US.utf8 locale exists.
* debian/control (Build-Depends): Removed "man, locales-all".
  (Standards-Version): Updated to "3.9.3".
* debian/copyright (Format): Updated to
  "http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/".
* mandos (PGPEngine.__exit__, datetime_to_dbus): White space fixes.
  (alternate_dbus_interfaces): Doc string fix.

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 "2019-02-09">
 
4
<!ENTITY TIMESTAMP "2012-01-01">
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
35
      <holder>Teddy Hogeborn</holder>
42
36
      <holder>Björn Påhlsson</holder>
43
37
    </copyright>
67
61
      The computers run a small client program in the initial RAM disk
68
62
      environment which will communicate with a server over a network.
69
63
      All network communication is encrypted using TLS.  The clients
70
 
      are identified by the server using a TLS public key; each client
 
64
      are identified by the server using an OpenPGP key; each client
71
65
      has one unique to it.  The server sends the clients an encrypted
72
66
      password.  The encrypted password is decrypted by the clients
73
 
      using a separate OpenPGP key, and the password is then used to
 
67
      using the same OpenPGP key, and the password is then used to
74
68
      unlock the root file system, whereupon the computers can
75
69
      continue booting normally.
76
70
    </para>
79
73
  <refsect1 id="introduction">
80
74
    <title>INTRODUCTION</title>
81
75
    <para>
82
 
      <!-- This paragraph is a combination and paraphrase of two
83
 
           quotes from the 1995 movie “The Usual Suspects”. -->
84
76
      You know how it is.  You’ve heard of it happening.  The Man
85
77
      comes and takes away your servers, your friends’ servers, the
86
78
      servers of everybody in the same hosting facility. The servers
200
192
      <para>
201
193
        No.  The server only gives out the passwords to clients which
202
194
        have <emphasis>in the TLS handshake</emphasis> proven that
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.
 
195
        they do indeed hold the OpenPGP private key corresponding to
 
196
        that client.
215
197
      </para>
216
198
    </refsect2>
217
199
    
233
215
      </para>
234
216
    </refsect2>
235
217
    
236
 
    <refsect2 id="fakecheck">
237
 
      <title>Faking checker results?</title>
 
218
    <refsect2 id="fakeping">
 
219
      <title>Faking ping replies?</title>
238
220
      <para>
239
 
        If the Mandos client does not have an SSH server, the default
240
 
        is for the Mandos server to use
 
221
        The default for the server is to use
241
222
        <quote><literal>fping</literal></quote>, the replies to which
242
223
        could be faked to eliminate the timeout.  But this could
243
224
        easily be changed to any shell command, with any security
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.
 
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.
252
229
      </para>
253
230
    </refsect2>
254
231
  </refsect1>
383
360
    </para>
384
361
  </refsect1>
385
362
  
386
 
  <refsect1 id="bugs">
387
 
    <title>BUGS</title>
388
 
    <xi:include href="bugs.xml"/>
389
 
  </refsect1>
390
 
  
391
363
  <refsect1 id="see_also">
392
364
    <title>SEE ALSO</title>
393
365
    <para>
421
393
    <variablelist>
422
394
      <varlistentry>
423
395
        <term>
424
 
          <ulink url="https://www.recompile.se/mandos">Mandos</ulink>
 
396
          <ulink url="http://www.recompile.se/mandos">Mandos</ulink>
425
397
        </term>
426
398
        <listitem>
427
399
          <para>