/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-03-30 07:03:04 UTC
  • Revision ID: teddy@recompile.se-20190330070304-dqgch62lsaaygg46
mandos-ctl: Refactor D-Bus operations

* mandos-ctl (dbus): Rename imported module to "dbus_python".
  (main): Only create a bus object and do everything via that object.
  (get_mandos_dbus_object): Remove and move code into dbus or
                            dbus_python_adapter namespaces.
  (if_dbus_exception_log_with_exception_and_exit): - '' -
  (SilenceLogger): - '' -
  (dbus): New; move everything dbus-specific into this module-like
          namespace.
  (dbus_python_adapter): New; move everything specific to the
                         dbus-python D-Bus module into this
                         module-like namespace.
  (command.Base.run): Take only a bus argument; use only that.  Pass
                      "client" argument as a D-Bus object path string,
                      not a dbus-python proxy object.  All derivatives
                      adjusted.
  (command.IsEnabled.is_enabled): Remove.
  (command.Approve, command.Deny, command.Remove,
  command.PropertySetter): Do no logging of D-Bus commands, and use
  only bus, not client, to do D-Bus calls.
  (command.DumpJSON.dbus_boolean_to_bool): Remove; move filtering to
                                           dbus_python_adapter.
  (command.Enable, command.Disable, command.StopChecker,
  command.ApproveByDefault): Use normal Python booleans instead of
  dbus-python's special Boolean types.
  (Unique): New; move here out from inside TestPropertySetterCmd.
  (Test_get_mandos_dbus_object): Remove.
  (Test_get_managed_objects): - '' -
  (Test_dbus_exceptions): New.
  (Test_dbus_MandosBus): - '' -
  (Test_dbus_python_adapter_SystemBus): - '' -
  (Test_dbus_python_adapter_CachingBus): - '' -
  (Test_commands_from_options): Don't create mock client proxy
  objects, define dict of client properties and use a mock dbus to
  verify that the correct D-Bus calls are made.  Also remove any types
  specific to dbus-python.
  (TestEnableCmd, TestDisableCmd, TestStartCheckerCmd,
  TestStopCheckerCmd, TestApproveByDefaultCmd, TestDenyByDefaultCmd):
  Use normal Python booleans instead of dbus-python's special Boolean
  types.
  (TestPropertySetterValueCmd.runTest): Remove; unnecessary.

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