5
Debian 5.0 "lenny" or Ubuntu 8.04 "Hardy Heron".
7
The following libraries and packages are needed. (It is possible
8
that it might work with older versions of some of these, but these
9
versions are confirmed to work. Newer versions are almost certainly
13
These are required to build the manual pages for both the server
16
+ DocBook 4.5 http://www.docbook.org/
17
+ DocBook XSL stylesheets 1.71.0
18
http://wiki.docbook.org/topic/DocBookXslStylesheets
21
+ GnuTLS 2.4 http://www.gnu.org/software/gnutls/
22
+ Avahi 0.6.16 http://www.avahi.org/
23
+ Python 2.4 http://www.python.org/
24
+ Python-GnuTLS 1.1.5 http://pypi.python.org/pypi/python-gnutls/
25
+ dbus-python 0.82.4 http://dbus.freedesktop.org/doc/dbus-python/
26
+ python-ctypes 1.0.0 http://pypi.python.org/pypi/ctypes
29
+ fping 2.4b2-to-ipv6 http://www.fping.com/
32
+ initramfs-tools 0.85i
33
http://packages.qa.debian.org/i/initramfs-tools.html
34
+ GnuTLS 2.4 http://www.gnu.org/software/gnutls/
35
+ Avahi 0.6.16 http://www.avahi.org/
36
+ GnuPG 1.4.9 http://www.gnupg.org/
37
+ GPGME 1.1.6 http://www.gnupg.org/related_software/gpgme/
7
Debian 6.0 "squeeze" or Ubuntu 10.10 "Maverick Meerkat" (or later).
9
This is mostly for the support scripts which make sure that the
10
client is installed and started in the initial RAM disk environment
11
and that the initial RAM file system image file is automatically
12
made unreadable. The server and client programs themselves *could*
13
be run in other distributions, but they *are* specific to GNU/Linux
14
systems, and are not written with portabillity to other Unixes in
19
The following libraries and packages are needed. (It is possible
20
that it might work with older versions of some of these, but these
21
versions are confirmed to work. Newer versions are almost
25
These are required to build the manual pages for both the server
28
+ DocBook 4.5 http://www.docbook.org/
29
Note: DocBook 5.0 is not compatible.
30
+ DocBook XSL stylesheets 1.71.0
31
http://wiki.docbook.org/DocBookXslStylesheets
36
To build just the documentation, run the command "make doc". Then
37
the manual page "mandos.8", for example, can be read by running
41
+ GnuTLS 2.4 http://www.gnutls.org/
42
Note: GnuTLS 3 will only work with Python-GnuTLS 2
43
+ Avahi 0.6.16 http://www.avahi.org/
44
+ Python 2.7 https://www.python.org/
45
+ Python-GnuTLS 1.1.5 https://pypi.python.org/pypi/python-gnutls/
46
+ dbus-python 0.82.4 http://dbus.freedesktop.org/doc/dbus-python/
47
+ PyGObject 2.14.2 https://developer.gnome.org/pygobject/
48
+ pkg-config http://www.freedesktop.org/wiki/Software/pkg-config/
49
+ Urwid 1.0.1 http://urwid.org/
50
(Only needed by the "mandos-monitor" tool.)
53
+ fping 2.4b2-to-ipv6 http://www.fping.org/
54
+ ssh-keyscan from OpenSSH http://www.openssh.com/
57
python-gnutls avahi-daemon python python-avahi python-dbus
58
python-gobject python-urwid pkg-config fping ssh-client
61
+ initramfs-tools 0.85i
62
https://tracker.debian.org/pkg/initramfs-tools
63
+ GnuTLS 2.4 http://www.gnutls.org/
64
+ Avahi 0.6.16 http://www.avahi.org/
65
+ GnuPG 1.4.9 https://www.gnupg.org/
66
+ GPGME 1.1.6 https://www.gnupg.org/related_software/gpgme/
67
+ pkg-config http://www.freedesktop.org/wiki/Software/pkg-config/
70
+ OpenSSH http://www.openssh.com/
73
initramfs-tools libgnutls-dev libavahi-core-dev gnupg
74
libgpgme11-dev pkg-config ssh
39
76
* Installing the Mandos server
43
+ On the computer to run as a Mandos server, run the following
44
command: "sudo make install-server".
46
(This creates a configuration without any clients configured; we
47
need an actually configured client to do that; see below.)
80
2. On the computer to run as a Mandos server, run the following
82
For Debian: su -c 'make install-server'
83
For Ubuntu: sudo make install-server
85
(This creates a configuration without any clients configured; you
86
need an actually configured client to do that; see below.)
49
88
* Installing the Mandos client.
53
+ On the computer to run as a Mandos server, run the following
54
command: "sudo make install-client". This will also create an
55
OpenPGP key, which will take some time and entropy, so either wait
56
patiently or frob your mouse until it's done.
58
+ Run "mandos-keygen --password". When prompted, enter the
59
password/passphrase for the encrypted root file system on this
60
client computer. It will output a section of text, starting with
61
a [section header]. Copy and paste this into the
62
"/etc/mandos/clients.conf" file *on the server computer*.
64
+ On the server computer, start the server by running the command
65
"invoke-rc.d mandos start".
92
2. On the computer to run as a Mandos client, run the following
94
For Debian: su -c 'make install-client'
95
For Ubuntu: sudo make install-client
97
This will also create an OpenPGP key, which will take some time
98
and entropy, so be patient.
100
3. Run the following command:
101
For Debian: su -c 'mandos-keygen --password'
102
For Ubuntu: sudo mandos-keygen --password
104
When prompted, enter the password/passphrase for the encrypted
105
root file system on this client computer. The command will
106
output a section of text, starting with a [section header]. Copy
107
and append this to the file "/etc/mandos/clients.conf" *on the
110
4. Configure the client to use any special configuration needed for
111
your local system. Note: This is not necessary if the server is
112
present on the same wired local network as the client. If you do
113
make changes to /etc/mandos/plugin-runner.conf, the initrd.img
114
file must be updated, possibly using the following command:
116
# update-initramfs -k all -u
118
5. On the server computer, start the server by running the command
119
For Debian: su -c 'invoke-rc.d mandos start'
120
For Ubuntu: sudo service mandos start
122
At this point, it is possible to verify that the correct password
123
will be received by the client by running the command:
125
# /usr/lib/mandos/plugins.d/mandos-client \
126
--pubkey=/etc/keys/mandos/pubkey.txt \
127
--seckey=/etc/keys/mandos/seckey.txt; echo
129
This command should retrieve the password from the server,
130
decrypt it, and output it to standard output.
132
After this, the client computer should be able to reboot without
133
needing a password entered on the console, as long as it does not
134
take more than five minutes to reboot.
67
136
* Further customizations
69
138
You may want to tighten or loosen the timeouts in the server
70
139
configuration files; see mandos.conf(5) and mandos-clients.conf(5).
71
Is IPsec is not used, it is suggested that a more cryptographically
72
secure checker program is used and configured, since without IPsec
73
ping packets can be faked.
140
If IPsec is not used and SSH is not installed, it is suggested that
141
a more cryptographically secure checker program is used and
142
configured, since, without IPsec, ping packets can be faked.