/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: 2016-02-21 14:24:01 UTC
  • Revision ID: teddy@recompile.se-20160221142401-j7glu6a2hg604d1e
Use AddressSanitizer and UndefinedBehaviorSanitizer.

* Makefile (SANITIZE): New; set to all sanitizing options depending on
                       GCC version.
  (CFLAGS): Added "$(SANITIZE)".

Show diffs side-by-side

added added

removed removed

Lines of Context:
intro.xml
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 "2015-07-20">
5
5
<!ENTITY % common SYSTEM "common.ent">
6
6
%common;
7
7
]>
35
35
      <year>2013</year>
36
36
      <year>2014</year>
37
37
      <year>2015</year>
38
 
      <year>2016</year>
39
 
      <year>2017</year>
40
 
      <year>2018</year>
41
38
      <holder>Teddy Hogeborn</holder>
42
39
      <holder>Björn Påhlsson</holder>
43
40
    </copyright>
67
64
      The computers run a small client program in the initial RAM disk
68
65
      environment which will communicate with a server over a network.
69
66
      All network communication is encrypted using TLS.  The clients
70
 
      are identified by the server using a TLS public key; each client
 
67
      are identified by the server using an OpenPGP key; each client
71
68
      has one unique to it.  The server sends the clients an encrypted
72
69
      password.  The encrypted password is decrypted by the clients
73
 
      using a separate OpenPGP key, and the password is then used to
 
70
      using the same OpenPGP key, and the password is then used to
74
71
      unlock the root file system, whereupon the computers can
75
72
      continue booting normally.
76
73
    </para>
79
76
  <refsect1 id="introduction">
80
77
    <title>INTRODUCTION</title>
81
78
    <para>
82
 
      <!-- This paragraph is a combination and paraphrase of two
83
 
           quotes from the 1995 movie “The Usual Suspects”. -->
84
79
      You know how it is.  You’ve heard of it happening.  The Man
85
80
      comes and takes away your servers, your friends’ servers, the
86
81
      servers of everybody in the same hosting facility. The servers
200
195
      <para>
201
196
        No.  The server only gives out the passwords to clients which
202
197
        have <emphasis>in the TLS handshake</emphasis> proven that
203
 
        they do indeed hold the private key corresponding to that
204
 
        client.
 
198
        they do indeed hold the OpenPGP private key corresponding to
 
199
        that client.
205
200
      </para>
206
201
    </refsect2>
207
202
    
383
378
    </para>
384
379
  </refsect1>
385
380
  
386
 
  <refsect1 id="bugs">
387
 
    <title>BUGS</title>
388
 
    <xi:include href="bugs.xml"/>
389
 
  </refsect1>
390
 
  
391
381
  <refsect1 id="see_also">
392
382
    <title>SEE ALSO</title>
393
383
    <para>
421
411
    <variablelist>
422
412
      <varlistentry>
423
413
        <term>
424
 
          <ulink url="https://www.recompile.se/mandos">Mandos</ulink>
 
414
          <ulink url="http://www.recompile.se/mandos">Mandos</ulink>
425
415
        </term>
426
416
        <listitem>
427
417
          <para>