7
Debian 5.0 "lenny" or Ubuntu 8.04 "Hardy Heron".
7
Debian 8.0 "jessie" or Ubuntu 15.10 "Wily Werewolf" (or later).
9
9
This is mostly for the support scripts which make sure that the
10
10
client is installed and started in the initial RAM disk environment
11
and that the initrd.img file is automatically made unreadable. The
12
server and client programs themselves *could* be run in other
13
distributions, but they *are* specific to GNU/Linux systems, and
14
are not intended to be portable to other Unixes.
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
18
19
The following libraries and packages are needed. (It is possible
35
36
To build just the documentation, run the command "make doc". Then
36
37
the manual page "mandos.8", for example, can be read by running
40
+ GnuTLS 2.4 http://www.gnu.org/software/gnutls/
41
+ Avahi 0.6.16 http://www.avahi.org/
42
+ Python 2.4 http://www.python.org/
43
+ Python-GnuTLS 1.1.5 http://pypi.python.org/pypi/python-gnutls/
44
+ dbus-python 0.82.4 http://dbus.freedesktop.org/doc/dbus-python/
45
+ python-ctypes 1.0.0 http://pypi.python.org/pypi/ctypes
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 3 https://www.python.org/
45
Note: Python 2.7 is still supported, if the "mandos",
46
"mandos-ctl", and "mandos-monitor" files are edited to contain
47
"#!/usr/bin/python" instead of python3.
48
+ dbus-python 0.82.4 https://dbus.freedesktop.org/doc/dbus-python/
49
+ PyGObject 3.8 https://wiki.gnome.org/Projects/PyGObject
50
+ pkg-config https://www.freedesktop.org/wiki/Software/pkg-config/
51
+ Urwid 1.0.1 http://urwid.org/
52
(Only needed by the "mandos-monitor" tool.)
47
54
Strongly recommended:
48
+ fping 2.4b2-to-ipv6 http://www.fping.com/
55
+ fping 2.4b2-to-ipv6 http://www.fping.org/
56
+ ssh-keyscan from OpenSSH http://www.openssh.com/
51
python-gnutls avahi-daemon python python-avahi python-dbus
59
avahi-daemon python3 python3-dbus python3-gi python3-urwid
60
pkg-config fping ssh-client
63
+ GNU C Library 2.17 https://gnu.org/software/libc/
64
+ GnuTLS 3.3 https://www.gnutls.org/
65
(but not 3.6.0 or later, until 3.6.6 which works)
66
+ Avahi 0.6.16 https://www.avahi.org/
67
+ GnuPG 1.4.9 https://www.gnupg.org/
68
+ GPGME 1.1.6 https://www.gnupg.org/related_software/gpgme/
69
+ pkg-config https://www.freedesktop.org/wiki/Software/pkg-config/
70
+ libnl-route 3 https://www.infradead.org/~tgr/libnl/
71
+ GLib 2.40 http://www.gtk.org/
55
74
+ initramfs-tools 0.85i
56
http://packages.qa.debian.org/i/initramfs-tools.html
57
+ GnuTLS 2.4 http://www.gnu.org/software/gnutls/
58
+ Avahi 0.6.16 http://www.avahi.org/
59
+ GnuPG 1.4.9 http://www.gnupg.org/
60
+ GPGME 1.1.6 http://www.gnupg.org/related_software/gpgme/
75
https://tracker.debian.org/pkg/initramfs-tools
77
http://www.kernel.org/pub/linux/utils/boot/dracut/dracut.html
80
+ OpenSSH http://www.openssh.com/
63
initramfs-tools libgnutls-dev libavahi-core-dev gnupg
83
initramfs-tools dracut libgnutls-dev gnutls-bin libavahi-core-dev
84
gnupg libgpgme11-dev pkg-config ssh libnl-route-3-dev
66
87
* Installing the Mandos server
82
103
2. On the computer to run as a Mandos client, run the following
84
For Debian: su -c 'make install-client'
105
For Debian: su - -c 'make install-client'
85
106
For Ubuntu: sudo make install-client
87
108
This will also create an OpenPGP key, which will take some time
88
109
and entropy, so be patient.
90
111
3. Run the following command:
91
For Debian: su -c 'mandos-keygen --password'
112
For Debian: su - -c 'mandos-keygen --password'
92
113
For Ubuntu: sudo mandos-keygen --password
94
115
When prompted, enter the password/passphrase for the encrypted
97
118
and append this to the file "/etc/mandos/clients.conf" *on the
100
4. Configure the client to use the correct network interface. The
101
default is "eth0", and if this needs to be adjusted, it will be
102
necessary to edit /etc/mandos/plugin-runner.conf to uncomment and
103
change the line there. If that file is changed, the initrd.img
121
4. Configure the client to use any special configuration needed for
122
your local system. Note: This is not necessary if the server is
123
present on the same wired local network as the client. If you do
124
make changes to /etc/mandos/plugin-runner.conf, the initrd.img
104
125
file must be updated, possibly using the following command:
106
127
# update-initramfs -k all -u
108
129
5. On the server computer, start the server by running the command
109
For Debian: su -c 'invoke-rc.d mandos start'
110
For Ubuntu: sudo invoke-rc.d mandos start
130
For Debian: su - -c 'invoke-rc.d mandos start'
131
For Ubuntu: sudo service mandos start
112
133
At this point, it is possible to verify that the correct password
113
134
will be received by the client by running the command:
115
136
# /usr/lib/mandos/plugins.d/mandos-client \
116
137
--pubkey=/etc/keys/mandos/pubkey.txt \
117
--seckey=/etc/keys/mandos/seckey.txt; echo
138
--seckey=/etc/keys/mandos/seckey.txt \
139
--tls-privkey=/etc/keys/mandos/tls-privkey.pem \
140
--tls-pubkey=/etc/keys/mandos/tls-pubkey.pem; echo
119
142
This command should retrieve the password from the server,
120
143
decrypt it, and output it to standard output.
122
145
After this, the client computer should be able to reboot without
123
146
needing a password entered on the console, as long as it does not
124
take more than an hour to reboot.
147
take more than five minutes to reboot.
126
149
* Further customizations
128
151
You may want to tighten or loosen the timeouts in the server
129
152
configuration files; see mandos.conf(5) and mandos-clients.conf(5).
130
Is IPsec is not used, it is suggested that a more cryptographically
131
secure checker program is used and configured, since without IPsec
132
ping packets can be faked.
153
If IPsec is not used and SSH is not installed, it is suggested that
154
a more cryptographically secure checker program is used and
155
configured, since, without IPsec, ping packets can be faked.