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-04-10">
4
<!ENTITY TIMESTAMP "2011-08-08">
5
5
<!ENTITY % common SYSTEM "common.ent">
18
18
<firstname>Björn</firstname>
19
19
<surname>Påhlsson</surname>
21
<email>belorn@recompile.se</email>
21
<email>belorn@fukt.bsnet.se</email>
25
25
<firstname>Teddy</firstname>
26
26
<surname>Hogeborn</surname>
28
<email>teddy@recompile.se</email>
28
<email>teddy@fukt.bsnet.se</email>
42
34
<holder>Teddy Hogeborn</holder>
43
35
<holder>Björn Påhlsson</holder>
68
60
The computers run a small client program in the initial RAM disk
69
61
environment which will communicate with a server over a network.
70
62
All network communication is encrypted using TLS. The clients
71
are identified by the server using a TLS public key; each client
63
are identified by the server using an OpenPGP key; each client
72
64
has one unique to it. The server sends the clients an encrypted
73
65
password. The encrypted password is decrypted by the clients
74
using a separate OpenPGP key, and the password is then used to
66
using the same OpenPGP key, and the password is then used to
75
67
unlock the root file system, whereupon the computers can
76
68
continue booting normally.
80
72
<refsect1 id="introduction">
81
73
<title>INTRODUCTION</title>
83
<!-- This paragraph is a combination and paraphrase of two
84
quotes from the 1995 movie “The Usual Suspects”. -->
85
75
You know how it is. You’ve heard of it happening. The Man
86
76
comes and takes away your servers, your friends’ servers, the
87
77
servers of everybody in the same hosting facility. The servers
133
123
So, at boot time, the Mandos client will ask for its encrypted
134
data over the network, decrypt the data to get the password, use
135
the password to decrypt the root file system, and the client can
136
then continue booting.
124
data over the network, decrypt it to get the password, use it to
125
decrypt the root file, and continue booting.
139
128
Now, of course the initial RAM disk image is not on the
145
134
long, and will no longer give out the encrypted key. The timing
146
135
here is the only real weak point, and the method, frequency and
147
136
timeout of the server’s checking can be adjusted to any desired
151
140
(The encrypted keys on the Mandos server is on its normal file
203
192
No. The server only gives out the passwords to clients which
204
193
have <emphasis>in the TLS handshake</emphasis> proven that
205
they do indeed hold the private key corresponding to that
210
<refsect2 id="sniff">
211
<title>How about sniffing the network traffic and decrypting it
212
later by physically grabbing the Mandos client and using its
215
We only use <acronym>PFS</acronym> (Perfect Forward Security)
216
key exchange algorithms in TLS, which protects against this.
194
they do indeed hold the OpenPGP private key corresponding to
238
<refsect2 id="fakecheck">
239
<title>Faking checker results?</title>
217
<refsect2 id="fakeping">
218
<title>Faking ping replies?</title>
241
If the Mandos client does not have an SSH server, the default
242
is for the Mandos server to use
220
The default for the server is to use
243
221
<quote><literal>fping</literal></quote>, the replies to which
244
222
could be faked to eliminate the timeout. But this could
245
223
easily be changed to any shell command, with any security
246
measures you like. If the Mandos client
247
<emphasis>has</emphasis> an SSH server, the default
248
configuration (as generated by
249
<command>mandos-keygen</command> with the
250
<option>--password</option> option) is for the Mandos server
251
to use an <command>ssh-keyscan</command> command with strict
252
keychecking, which can not be faked. Alternatively, IPsec
253
could be used for the ping packets, making them secure.
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
added
removed
intro.xml
