7
Debian 8.0 "jessie" or Ubuntu 15.10 "Wily Werewolf" (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 3.3 https://www.gnutls.org/
42
(but not 3.6.0 or later, until 3.6.6, which works)
43
+ Avahi 0.6.16 https://www.avahi.org/
44
+ Python 2.7 https://www.python.org/
45
+ dbus-python 0.82.4 https://dbus.freedesktop.org/doc/dbus-python/
46
+ PyGObject 3.7.1 https://wiki.gnome.org/Projects/PyGObject
47
+ pkg-config https://www.freedesktop.org/wiki/Software/pkg-config/
48
+ Urwid 1.0.1 http://urwid.org/
49
(Only needed by the "mandos-monitor" tool.)
52
+ fping 2.4b2-to-ipv6 http://www.fping.org/
53
+ ssh-keyscan from OpenSSH http://www.openssh.com/
56
avahi-daemon python python-dbus python-gi python-urwid pkg-config
60
+ GNU C Library 2.17 https://gnu.org/software/libc/
61
+ initramfs-tools 0.85i
62
https://tracker.debian.org/pkg/initramfs-tools
63
+ GnuTLS 3.3 https://www.gnutls.org/
64
(but not 3.6.0 or later, until 3.6.6 which works)
65
+ Avahi 0.6.16 https://www.avahi.org/
66
+ GnuPG 1.4.9 https://www.gnupg.org/
67
+ GPGME 1.1.6 https://www.gnupg.org/related_software/gpgme/
68
+ pkg-config https://www.freedesktop.org/wiki/Software/pkg-config/
69
+ libnl-route 3 https://www.infradead.org/~tgr/libnl/
72
+ OpenSSH http://www.openssh.com/
75
initramfs-tools libgnutls-dev gnutls-bin libavahi-core-dev gnupg
76
libgpgme11-dev pkg-config ssh libnl-route-3-dev
78
* Installing the Mandos server
82
2. On the computer to run as a Mandos server, run the following
84
For Debian: su -c 'make install-server'
85
For Ubuntu: sudo make install-server
87
(This creates a configuration without any clients configured; you
88
need an actually configured client to do that; see below.)
90
* Installing the Mandos client.
94
2. On the computer to run as a Mandos client, run the following
96
For Debian: su -c 'make install-client'
97
For Ubuntu: sudo make install-client
99
This will also create an OpenPGP key, which will take some time
100
and entropy, so be patient.
102
3. Run the following command:
103
For Debian: su -c 'mandos-keygen --password'
104
For Ubuntu: sudo mandos-keygen --password
106
When prompted, enter the password/passphrase for the encrypted
107
root file system on this client computer. The command will
108
output a section of text, starting with a [section header]. Copy
109
and append this to the file "/etc/mandos/clients.conf" *on the
112
4. Configure the client to use any special configuration needed for
113
your local system. Note: This is not necessary if the server is
114
present on the same wired local network as the client. If you do
115
make changes to /etc/mandos/plugin-runner.conf, the initrd.img
116
file must be updated, possibly using the following command:
118
# update-initramfs -k all -u
120
5. On the server computer, start the server by running the command
121
For Debian: su -c 'invoke-rc.d mandos start'
122
For Ubuntu: sudo service mandos start
124
At this point, it is possible to verify that the correct password
125
will be received by the client by running the command:
127
# /usr/lib/mandos/plugins.d/mandos-client \
128
--pubkey=/etc/keys/mandos/pubkey.txt \
129
--seckey=/etc/keys/mandos/seckey.txt \
130
--tls-privkey=/etc/keys/mandos/tls-privkey.pem \
131
--tls-pubkey=/etc/keys/mandos/tls-pubkey.pem; echo
133
This command should retrieve the password from the server,
134
decrypt it, and output it to standard output.
136
After this, the client computer should be able to reboot without
137
needing a password entered on the console, as long as it does not
138
take more than five minutes to reboot.
140
* Further customizations
142
You may want to tighten or loosen the timeouts in the server
143
configuration files; see mandos.conf(5) and mandos-clients.conf(5).
144
If IPsec is not used and SSH is not installed, it is suggested that
145
a more cryptographically secure checker program is used and
146
configured, since, without IPsec, ping packets can be faked.
added
removed
INSTALL
