docs/diploma

annotate thesis/tex/5-Improvements.tex @ 406:1d527ad76c97

spell checking
author meillo@marmaro.de
date Sun, 08 Feb 2009 23:51:48 +0100
parents e57129f57faa
children
rev   line source
meillo@246 1 \chapter{Improvement plans}
meillo@89 2
meillo@382 3 The last chapter came to the result that further development is best done in a double-strategy: First the existing code base should be improved to satisfy the most important needs in order to make it usable for some more time. Then \masqmail\ should get redesigned from scratch and rebuilt to gain a secure and modern \MTA\ architecture for the future.
meillo@109 4
meillo@381 5 This chapter finally describes approaches and techniques for the work on the current code base, and it introduces ideas and plans for a new, modern \MTA\ design which will become the next generation of \masqmail.
meillo@249 6
meillo@381 7 The first part of the chapter covers the short-time goals that base on the current code. The second part deals with the long-time goal---the redesign.
meillo@89 8
meillo@184 9
meillo@184 10
meillo@184 11
meillo@287 12 \section{Based on current code}
meillo@125 13
meillo@382 14 The three most important work tasks are implementable by improving the current code or by adding wrappers or interposition filters. The following sections describe solution approaches to do that work.
meillo@184 15
meillo@184 16
meillo@184 17
meillo@385 18 \subsection{Encryption}
meillo@391 19 \index{enc}
meillo@246 20
meillo@385 21 Encryption (\TODO\,1) should be the first functionality to be added to the current code. The requirement was already discussed on page~\pageref{requirement-encryption}. As explained there, \NAME{STARTTLS} encryption---defined in \RFC\,2487---should be added to \masqmail.
meillo@391 22 \index{starttls}
meillo@402 23 \index{rfc}
meillo@246 24
meillo@382 25 This work requires changes mainly in three source files: \path{smtp_in.c}, \path{smtp_out.c}, and \path{conf.c}.
meillo@246 26
meillo@395 27 The first file includes the functionality for the \SMTP\ server. It needs to offer \NAME{STARTTLS} support to clients and needs to initiate the encryption when the client requests it. Additionally, the server should be able to insist on encryption before it accepts any message
meillo@391 28 \index{smtp}
meillo@246 29
meillo@395 30 The second file includes the functionality for the \SMTP\ client. It should start the encryption by issuing the \NAME{STARTTLS} keyword if the server supports it. It should be possible to send messages over encrypted channels only.
meillo@246 31
meillo@335 32 The third file controls the configuration files. New configuration options need to be added. The encryption policy for incoming connections needs to be defined. Three choices seem necessary: no encryption, offer encryption, insist on encryption. The encryption policy for outgoing connections should be part of each route setup. The options are the same: never encrypt, encrypt if possible, insist on encryption.
meillo@402 33 \index{configuration}
meillo@246 34
meillo@406 35 \subsubsection*{Dependencies}
meillo@391 36
meillo@382 37 \NAME{STARTTLS} uses \NAME{TLS} encryption which is based on certificates. Thus the \MTA\ needs its own certificate. This should be generated during installation. A third party application like \name{openssl} should be taken for this job. The encryption itself should also be done using an available library. \name{openssl} or a substitute like \name{gnutls} does then become a dependency for \masqmail. \name{gnutls} seems to be the better choice because the \name{openssl} license is incompatible to the \NAME{GPL}, under which \masqmail\ and \name{gnutls} are covered.
meillo@391 38 \index{tls}
meillo@391 39 \index{certificates}
meillo@391 40 \index{openssl}
meillo@391 41 \index{gnutls}
meillo@391 42 \index{gpl}
meillo@246 43
meillo@317 44 User definable paths to \masqmail's secret key, \masqmail's certificate, and the public certificates of trusted \name{Certificate Authorities} (short: \NAME{CA}s) are also nice to have.
meillo@246 45
meillo@246 46
meillo@335 47 \subsubsection*{Existing code}
meillo@391 48 \index{existing code}
meillo@246 49
meillo@382 50 \person{Frederik Vermeulen} wrote an encryption patch for \qmail\ which adds \NAME{STARTTLS} support \citeweb{qmail:tls-patch}. This patch includes about 500 lines of code.
meillo@391 51 \index{qmail}
meillo@402 52 \index{starttls}
meillo@335 53
meillo@335 54 Adding this code in a similar form to \masqmail\ will be fairly easy. It will save a lot of work as it is not necessary to write the code completely from scratch.
meillo@335 55
meillo@335 56
meillo@246 57
meillo@246 58
meillo@246 59
meillo@184 60
meillo@385 61 \subsection{Authentication}
meillo@391 62 \index{auth}
meillo@125 63
meillo@385 64 Authentication (\TODO\,2) is the second function to be added. It is important to restrict the access to \masqmail, especially for mail relay. The requirements for authentication where identified on page~\pageref{requirement-authentication}.
meillo@184 65
meillo@402 66 Static access restriction, based on the \NAME{IP} address is already possible by using \NAME{TCP} \name{Wrapper}. This makes it easy to refuse all connections from outside the local network for example, which is a good prevention against being an open relay. More detailed static restrictions, like splitting between mail for users on the system and mail for relay, should \emph{not} be added to the current code. This is a concern for the new design.
meillo@402 67 \index{access restriction}
meillo@402 68 \index{tcp wrapper}
meillo@402 69 \index{open relay}
meillo@277 70
meillo@335 71 \subsubsection*{One of the dynamic methods}
meillo@335 72
meillo@382 73 Of the three dynamic, secret based, authentication methods (\SMTP-after-\NAME{POP}, \SMTP\ authentication, and certificates) the first one drops out as it requires a \NAME{POP} server running on the same or a trusted host. \NAME{POP} servers are rare on workstations and home servers do also not regularly include them. Thus it is no option for \masqmail.
meillo@391 74 \index{auth!methods}
meillo@277 75
meillo@317 76 Authentication based on certificates does suffer from the certificate infrastructure that is required. Although certificates are already used for encryption, its management overhead prevented wide spread usage for authentication.
meillo@184 77
meillo@382 78 \SMTP\ authentication (also referred to as \NAME{SMTP-AUTH}) support is easiest attained by using a \name{Simple Authentication and Security Layer} (short: \NAME{SASL}) implementation. \person{Dent} sees in \NAME{SASL} the best solution for dynamic authentication of users:
meillo@402 79 \index{auth!smtp-auth}
meillo@391 80 \index{sasl}
meillo@382 81
meillo@184 82 \begin{quote}
meillo@332 83 None of these [authentication methods] is an ideal solution. They require additional code compiled into your existing daemons that may then require special write access to system files. They also require additional work for busy system administrators. If you cannot use any of the nonauthenticating alternatives mentioned earlier, or your business requirements demand that all of your users' mail pass through your system no matter where they are on the Internet, \NAME{SASL} is probably the solution that offers the most reliable and scalable method to authenticate users.
meillo@369 84 \hfill\cite[page~44]{dent04}
meillo@184 85 \end{quote}
meillo@184 86
meillo@392 87 These days \NAME{SMTP-AUTH}---defined in \RFC\,2554---is supported by almost all email clients. If encryption is used then even insecure authentication methods like \NAME{PLAIN} and \NAME{LOGIN} become secure.
meillo@402 88 \index{rfc}
meillo@335 89
meillo@391 90
meillo@360 91 \subsubsection*{Simple Authentication and Security Layer}
meillo@391 92 \index{sasl}
meillo@277 93
meillo@382 94 \masqmail\ best uses an available \NAME{SASL} library. \name{Cyrus} \NAME{SASL} is used by \postfix\ and \sendmail. It is a complete framework that makes use of existing authentication concepts like the \path{passwd} file or \NAME{PAM}. As advantage it can be included in existing user data bases. \name{gsasl} is an alternative. It comes as a library which helps with the decision for a method and with generating the appropriate dialog data; the actual transmission of the data and the authentication against some database is left open to the programmer. \name{gsasl} is used, for instance, by \name{msmtp}. It seems best to give both concepts a try and decide then which one to use.
meillo@402 95 \index{sendmail}
meillo@402 96 \index{postfix}
meillo@391 97 \index{cyrus sasl}
meillo@391 98 \index{pam}
meillo@391 99 \index{gsasl}
meillo@317 100
meillo@382 101 Currently, outgoing connections already feature \SMTP-\NAME{AUTH} but only in a hand-coded way. It is to decide whether this should remains as it is or should get replaced by the \NAME{SASL} approach that will be used for incoming connections. The decision should be influenced by the estimated time until the new design is usable.
meillo@324 102
meillo@382 103 Authentication needs code changes in the same places as encryption. The relevant code files are \path{smtp_in.c}, \path{smtp_out.c}, and \path{conf.c}.
meillo@324 104
meillo@324 105 The server code, to authenticate clients, must be added to \path{smtp_in.c} and the configuration options to \path{conf.c}. Several configuration options should be provided: the authentication policy (no authentication, offer authentication, insist on authentication), the authentication backend (if several are supported), an option to refuse plain text methods (\NAME{PLAIN} and \NAME{LOGIN}), and one to require encryption before authentication.
meillo@402 106 \index{configuration}
meillo@402 107 \index{plain text}
meillo@324 108
meillo@324 109 If the authentication code for outgoing connects shall be changed too, it must be done in \path{smtp_out.c}. The configuration options are already present.
meillo@324 110
meillo@324 111
meillo@335 112 \subsubsection*{Authentication backend}
meillo@391 113 \index{auth!backend}
meillo@335 114
meillo@382 115 For a small \MTA\ like \masqmail, it seems preferable to store the login data in a text file under \masqmail's control. This is the most simple choice for many usage scenarios. But using a central authentication facility has advantages in larger setups, too. \name{Cyrus} \NAME{SASL} supports both, so there is no problem. If \name{gsasl} is chosen, it seems best to start with an authentication file under \masqmail's control.
meillo@324 116
meillo@324 117
meillo@184 118
meillo@184 119
meillo@184 120
meillo@324 121
meillo@324 122
meillo@326 123 \subsection{Security}
meillo@335 124 \label{sec:current-code-security}
meillo@391 125 \index{security}
meillo@184 126
meillo@385 127 Improvements to \masqmail's security (\TODO\,3) are an important requirement and are the third task to be worked on. Retrofitting security \emph{into} \masqmail\ is not or hardly possible as it was explained in section~\ref{sec:discussion-further-devel}. But adding wrappers and interposition filters can be a large step towards security.
meillo@391 128 \index{wrapper}
meillo@391 129 \index{interposition filter}
meillo@324 130
meillo@335 131 \subsubsection*{Mail security layers}
meillo@335 132
meillo@382 133 At first mail security layers like \name{smap} come to mind. The market share analysis in section~\ref{sec:market-share} identified such software. Mail security layers are interposition filters that are located between the untrusted network and the \MTA. They accept mail in replacement for the \MTA\ in order to separate the \MTA\ from the untrusted network. Thus they are \name{proxies}.
meillo@391 134 \index{mail security layer}
meillo@391 135 \index{smap}
meillo@324 136
meillo@382 137 The work \name{smap} does is described in \cite{cabral01}: \name{smap} accepts messages as proxy for the \MTA\ and puts it into a queue. \name{smapd} a brother program runs as daemon and watches for new messages in this queue which it submits into the \MTA\ then.
meillo@324 138
meillo@382 139 Because the \MTA\ does not listen for connections from outside now, it is not directly vulnerable. Unfortunately, the \MTA\ can not react on relaying and spam by itself anymore because it has no direct connection to the mail sender. This job needs to be covered by the proxy now. Similar is the situation for encryption and authentication. However, care must be taken that the proxy stays small and simple as its own security will suffer otherwise.
meillo@324 140
meillo@382 141 The advantage of mail security layers is that the \MTA\ itself needs not to bother much with untrusted environments. The proxy cares for this.
meillo@324 142
meillo@382 143 \name{smap} is non-free software and thus no general choice for \masqmail. A way to achieve a similar setup is to copy \masqmail\ and strip one copy to the bare minimum of what is needed for the proxy job. \name{setuid} could be removed, and root privilege too if \name{inetd} is used. This hardens the proxy instance.
meillo@402 144 \index{Free Software}
meillo@391 145 \index{inetd}
meillo@391 146 \index{proxy}
meillo@402 147 \index{root privilege}
meillo@402 148 \index{setuid}
meillo@324 149
meillo@392 150 Mail from outside would then come through the proxy into the system. Mail from the local host and from the local network could be directly accepted by the normal \masqmail, if those locations are considered trusted. But it seems better to have them use the proxy, too, or maybe a second proxy instance with different policy.
meillo@391 151 \index{policy}
meillo@324 152
meillo@382 153 The here described setup comes close to the structure of the incoming channels in the new design which is described in section~\ref{sec:new-design}. This shows the capabilities of the here chosen approach.
meillo@184 154
meillo@184 155
meillo@326 156 \subsubsection*{A concrete setup}
meillo@184 157
meillo@392 158 A stripped down proxy needs to be created. It should only be able to receive mail via \SMTP, encrypt the communication, authenticate clients, and send mail out via \SMTP\ to an internal socket (named ``X'' in the figure). This is a straight forward task. The normal \masqmail\ instance runs on the system, too. It takes input from \name{stdin} (when the \path{sendmail} command is invoked) and via \SMTP\ where it listens on an internal socket (named ``X'' in the figure). Outgoing mail is handled without difference to a regular setup. Figure~\ref{fig:proxy-setup} depicts the setup.
meillo@402 159 \index{sendmail!command}
meillo@317 160
meillo@326 161 \begin{figure}
meillo@326 162 \begin{center}
meillo@397 163 \includegraphics[scale=0.75]{fig/proxy-setup.eps}
meillo@326 164 \end{center}
meillo@326 165 \caption{A setup with a proxy}
meillo@326 166 \label{fig:proxy-setup}
meillo@326 167 \end{figure}
meillo@288 168
meillo@246 169
meillo@298 170 \subsubsection*{Spam and malware handling}
meillo@391 171 \index{spam!handling}
meillo@391 172 \index{malware!handling}
meillo@277 173
meillo@332 174 The presented setup is the same as the one with two \MTA\ instances and a scanner application in between, which was suggested to add spam and malware scanner afterwards to an \MTA. This is a fortunate coincidence, because a scanner like \name{amavis} can simply be put in replace for the internal socket ``X''.
meillo@277 175
meillo@277 176
meillo@246 177
meillo@246 178
meillo@246 179
meillo@246 180
meillo@246 181
meillo@246 182
meillo@246 183
meillo@246 184
meillo@246 185
meillo@246 186
meillo@246 187
meillo@246 188
meillo@246 189
meillo@246 190
meillo@246 191
meillo@285 192 \section{A new design}
meillo@326 193 \label{sec:new-design}
meillo@391 194 \index{masqmail!new design}
meillo@246 195
meillo@382 196 In chapter~\ref{chap:present-and-future} the requirements for a modern and secure \masqmail\ were identified. Now modules that implement the various jobs of an \MTA\ are defined and plugged together to create a new \masqmail. The architecture is inspired by existing \MTA{}s and driven by the identified requirements.
meillo@246 197
meillo@249 198 One wise experience was kept in mind during the design: ``Many times in life, getting off to the right start makes all the difference.'' \cite[page~32]{graff03}.
meillo@246 199
meillo@246 200
meillo@328 201
meillo@328 202 \subsection{Design decisions}
meillo@328 203
meillo@382 204 This section describes and discusses architectural decision that were made for the new design. The functional requirements are only referenced, as they were already discussed in chapter~\ref{chap:present-and-future}.
meillo@331 205
meillo@331 206 A number of major design ideas lead the development of the new architecture:
meillo@328 207 \begin{enumerate}
meillo@382 208 \item Throughout compartmentalization.
meillo@382 209 \item Free the internal system from the in and out channels. Provide interfaces to add arbitrary protocol handlers afterwards.
meillo@382 210 \item Have a single point for scanning where all mail goes through.
meillo@382 211 \item Concentrate on the mail transfer job. Use specialized external programs for other jobs.
meillo@382 212 \item Keep it simple, clear, and general.
meillo@328 213 \end{enumerate}
meillo@391 214 \index{compartmentalization}
meillo@246 215
meillo@246 216
meillo@326 217
meillo@246 218 \subsubsection*{Incoming channels}
meillo@391 219 \index{incoming channels}
meillo@246 220
meillo@382 221 The functional requirements for incoming channels were already discussed as \RF\,1 on page~\pageref{rf1}. Two required incoming channels were identified: the \path{sendmail} command for local mail submission and the \SMTP\ daemon for remote connections.
meillo@391 222 \index{sendmail!command}
meillo@246 223
meillo@396 224 A bit different is the structure of \name{sendmail~X} at that point: Locally submitted messages go also to the \SMTP\ daemon, which is the only connection to the mail queue. \person{Finch} proposes a similar approach \cite{finch-sendmail}: He wants the \path{sendmail} command to be a simple \SMTP\ client that contacts the \SMTP\ daemon of the \MTA, like it is done by connections from remote. The advantage here is to have one single module where all \SMTP\ dialog with submitters is done. Hence one single point to accept or refuse incoming mail. Additionally does the module which puts mail into the queue not need to be \name{setuid} or \name{setgid}, because it is only invoked from the \SMTP\ daemon. The \MTA's architecture would become simpler and common tasks are not duplicated in modules that do similar jobs.
meillo@402 225 \index{sendmail!sendmailx}
meillo@391 226 \index{smtp}
meillo@391 227 \index{setuid}
meillo@246 228
meillo@392 229 But merging the input channels in the \SMTP\ daemon makes the \MTA\ heavily dependent on \SMTP. To \qmail\ and \postfix\ new protocol handlers may be added without change in other parts of the system. The \SMTP\ modules can even get removed if it is not needed. It is better to have a larger number of independent modules if each one is simpler then. The need to implement \SMTP\ clients in every module for internal communication makes them more complicated.
meillo@391 230 \index{qmail}
meillo@391 231 \index{postfix}
meillo@246 232
meillo@382 233 With the increasing need for new protocols in mind, it seems better to have single modules for each incoming channel, although this leads to duplicated acceptance checks. Independent checks in different modules, however, have the advantage to be able to simply apply different policies. Thus it is possible to run two \SMTP\ modules that listen on different ports: one accessible from the Internet which requires authentication, the other one only accessible from the local network without authentication.
meillo@328 234
meillo@328 235 The approach of simple independent modules, one for each incoming channel, should be taken.
meillo@328 236
meillo@375 237 A module which is a \NAME{POP} or \NAME{IMAP} client to import contents of other mailboxes into the system may be added afterwards as it is desired.
meillo@391 238 \index{pop3}
meillo@391 239 \index{imap}
meillo@328 240
meillo@246 241
meillo@246 242
meillo@246 243 \subsubsection*{Outgoing channels}
meillo@391 244 \index{outgoing channels}
meillo@246 245
meillo@382 246 Outgoing mail is commonly either sent using \SMTP, piped into local commands (for example \path{uucp}), or delivered locally by appending to a mailbox. The requirements were identified on page~\pageref{rf1}.
meillo@391 247 \index{uucp}
meillo@402 248 \index{pipe}
meillo@246 249
meillo@378 250 Outgoing channels are similar for \qmail, \postfix, and \name{sendmail~X}: All of them have a module to send mail using \SMTP\ and one for writing into a local mailbox. Local mail delivery is a job that should have root privilege to be able to switch to any user in order to write to his mailbox. Modular \MTA{}s do not require \name{setuid root} but the local delivery process (or its parent) should run as root. root privilege is not a mandatory requirement but any other approach has some disadvantages thus commonly root privilege is used.
meillo@402 251 \index{postfix}
meillo@402 252 \index{qmail}
meillo@402 253 \index{sendmail!sendmailx}
meillo@391 254 \index{setuid}
meillo@402 255 \index{root privilege}
meillo@246 256
meillo@378 257 Local mail delivery should not be done by the \MTA, but by an \NAME{MDA} instead. This decision was discussed in section~\ref{sec:functional-requirements}. This means only an outgoing channel that pipes mail into a local command is required for local delivery.
meillo@391 258 \index{local delivery}
meillo@402 259 \index{mda}
meillo@402 260 \index{pipe}
meillo@246 261
meillo@360 262 Other outgoing channels, one for each supported protocol, should be designed like it was done in other \MTA{}s.
meillo@246 263
meillo@246 264
meillo@246 265
meillo@382 266 \subsubsection*{Mail queuing}
meillo@391 267 \index{mail queue}
meillo@246 268
meillo@382 269 The mail queue is the central part of an \MTA. This fact demands especially for robustness and reliability as a failure here can lead to mail loss. (See \RF\,2 on page~\pageref{rf2}.)
meillo@402 270 \index{mail loss}
meillo@246 271
meillo@332 272 Common \MTA{}s feature one or more mail queues, they sometimes have effectively several queues within one physical representation.
meillo@246 273
meillo@382 274 \MTA\ setups that include content scanning tend to require two separate queues. To use \sendmail\ in such setups requires two independent instances with one own queue each. \exim\ can handle it with special \name{router} and \name{transport} rules but the data flow gets complicated. Hence an idea is to use two queues (\name{incoming} and \name{active} in \postfix's terminology) and have the content scanning within the move from the one to the other.
meillo@402 275 \index{sendmail}
meillo@391 276 \index{exim}
meillo@391 277 \index{postfix}
meillo@246 278
meillo@382 279 \sendmail, \exim, \qmail, and \masqmail\ all use at least two files to store one message in the queue: one file contains the message body, another the envelope and header information. The one containing the mail body is not modified at all. \postfix\ takes a different approach in storing queued messages in an internal format within one file. \person{Finch} suggest yet another approach: The whole queue should be stored in one single file with pointers to separating positions \cite{finch-queue}.
meillo@246 280
meillo@382 281 All of the presented \MTA{}s use the file system to hold the queue; none uses a database to hold it. A database could improve the reliability of the queue through better persistence. This might be a choice for larger \MTA{}s but is none for \masqmail\ which should be kept small and simple. A running database system does likely require much more resources than \masqmail\ itself does. And as the queue's job is more storing data, than running data selection queries, a database does not gain enough to outweigh its costs.
meillo@391 282 \index{database system}
meillo@246 283
meillo@382 284 Hence the choice here is having a directory with simple text files in it. This is straight forward, simple, clear, and general \dots\ and thus a good basis for reliability. It is additionally always an advantage if data is stored in the operating system's natural form, which is plain text in the Unix' case.
meillo@402 285 \index{Unix}
meillo@402 286 \index{plain text}
meillo@298 287
meillo@382 288 Robustness of the queue is covered in the next section.
meillo@246 289
meillo@246 290
meillo@328 291
meillo@328 292 \subsubsection*{Mail sanitizing}
meillo@391 293 \index{mail sanitizing}
meillo@328 294
meillo@360 295 Mail coming into the system may be malformed, lacking headers, or can be an attempt to exploit the system. Care must be taken.
meillo@328 296
meillo@382 297 In \postfix, mail is sanitized by the \name{cleanup} module, which invokes \name{rewrite}. The position in the message flow is after the message comes from one of the several incoming channels and before the message is stored into the \name{incoming} queue. \name{cleanup} does a complete check to make the mail header complete and valid.
meillo@391 298 \index{postfix}
meillo@328 299
meillo@382 300 \qmail\ has the principle of ``don't parse'' which propagates the avoidance of parsing as much as possible. The reason is that parsing is a highly complex task which likely makes code exploitable.
meillo@391 301 \index{qmail}
meillo@328 302
meillo@396 303 In \masqmail's new design, mail should be stored into the queue without parsing. A scanning module should then parse the message with high care. \person{Spinellis} proposes reliable approaches to do this work \cite[pages~17--18]{spinellis06}; using a \name{parser generator}\footnote{\person{Stephen~C.\ Johnson}'s paper about \name{yacc} is a good introduction into \name{parser generators} \cite{johnson79}.} is the best solution here. The parsed data should then get modified if needed and written into a second queue. This approach has several advantages. First, the receiving parts of the system are independent from content, they simply store it into the queue. Second, one single module does the parsing and generates new messages that contain only valid data. Third, the sending parts of the system will thus only work on messages that consist of valid data. Of course, it must be ensured that each message passes through the \name{scanning} module, but this is already required for spam and malware scanning.
meillo@391 304 \index{parser generator}
meillo@328 305
meillo@382 306 The mail body will never get modified, except for removing and adding transfer protocol specific requirements like dot stuffing or special line ending characters. These translations are only done in receiving and sending modules.
meillo@328 307
meillo@392 308 \person{Jon Postel}'s robustness principle\footnote{``Be liberal in what you accept, and conservative in what you send.''. In this wording in \RFC\,1122 and in different wordings in numerous \RFC{}s} should be respected in the \name{scanning} module. The module should parse the given input in a liberal way and generate clean output. \person{Raymond}'s \name{Rule of Repair}\footnote{``Repair what you can -- but when you must fail, fail noisily and as soon as possible.'' \cite[page~18]{raymond03}} can be applied, too. But it is important to repair only obvious problems, because repairing functionality is likely a target for attacks.
meillo@391 309 \index{robustness!principle of}
meillo@402 310 \index{repair!rule of}
meillo@402 311 \index{rfc}
meillo@328 312
meillo@328 313
meillo@246 314
meillo@246 315
meillo@246 316 \subsubsection*{Aliasing}
meillo@402 317 \index{alias expansion}
meillo@246 318
meillo@382 319 The functional requirements were identified under \RF\,4 on page~\pageref{rf4}. From the architectural point of view, the main question about aliasing is: Where should aliases get expanded?
meillo@246 320
meillo@382 321 Two facts are important to consider: (1) Addresses that expand to a list of users lead to more envelopes. (2) Aliases that change the recipient's domain part may make the message unsuitable for a specific online route.
meillo@328 322
meillo@382 323 Aliasing is often handled by expanding the alias and re-injecting the mail into the system. Unfortunately, the mail is processed twice then; additionally does the system have to handle more mail this way. If it is wanted to check the new recipient address for acceptance and do all processing again, then re-injecting it is the best choice. But already accepted messages may get rejected in the second go, though the replacement address was set inside the system. This seems not to be wanted.
meillo@402 324 \index{smtp!rejecting}
meillo@328 325
meillo@382 326 Doing the alias expansion in the \name{scanning} module appears to be the best solution. Unfortunately, a second alias expansion must be made on delivery, because only then is clear which route is used for the message. This compromise should get accepted.
meillo@246 327
meillo@246 328
meillo@246 329
meillo@287 330 \subsubsection*{Route management}
meillo@391 331 \index{online routes}
meillo@246 332
meillo@396 333 The online state is only important for the sending modules of the system, thus it should be queried in the \name{queue-out} module which selects ready messages from the \name{outgoing} queue and transfers them to the appropriate sending module. Route-based aliasing, which was described in the last section, should be done in the same go.
meillo@246 334
meillo@246 335
meillo@246 336
meillo@246 337 \subsubsection*{Archiving}
meillo@391 338 \index{archiving}
meillo@89 339
meillo@382 340 The best point to archive copies of every incoming mail is the \name{queue-in} module, respectively the \name{queue-out} module for copies of outgoing mail. But the changes that are made by the receiving modules (adding further headers) and sending modules (address rewrites) are not respected with this approach.
meillo@194 341
meillo@382 342 \qmail\ has the ability to log complete \SMTP\ dialogs. Logging the complete data transaction into and out of the system is a great feature which should be implemented into each receiving and sending module. Though, as this will produce a huge amount of output, it should be disabled by default.
meillo@402 343 \index{qmail}
meillo@391 344 \index{smtp!dialog}
meillo@194 345
meillo@382 346 Archiving's functional requirements were described as \RF\,10 on page~\pageref{rf10}.
meillo@340 347
meillo@194 348
meillo@194 349
meillo@194 350
meillo@89 351
meillo@332 352 \subsubsection*{Authentication and Encryption}
meillo@391 353 \index{auth}
meillo@391 354 \index{enc}
meillo@332 355
meillo@382 356 The topics were discussed as \RF\,6 and \RF\,7 on several places throughout this thesis remarkable ones are on page~\pageref{rf6} and \pageref{rf7}.
meillo@332 357
meillo@382 358 Authentication should be done within the receiving and sending modules. To encryption applies the same as to authentication here. Only receiving and sending modules should come in contact with it.
meillo@391 359 \index{incoming channels}
meillo@391 360 \index{outgoing channels}
meillo@332 361
meillo@382 362 In order to avoid code duplicates, the actual implementation of both functions should be provided by a central source, for example a library, which is used in the various modules.
meillo@332 363
meillo@332 364
meillo@332 365
meillo@332 366
meillo@332 367
meillo@332 368
meillo@332 369 \subsubsection*{Spam and malware handling}
meillo@391 370 \index{spam!handling}
meillo@391 371 \index{malware!handling}
meillo@332 372
meillo@378 373 The two approaches for spam handling were already presented to the reader in section~\ref{sec:functional-requirements} as \RF\,8 and \RF\,9. Here they are described in more detail:
meillo@332 374
meillo@383 375 \begin{enumerate}
meillo@391 376 \item Refusing spam during the \SMTP\ dialog: This is the way it was meant by the designers of the \SMTP\ protocol. They thought checking the sender's and recipient's mail addresses would be enough, but as they are forgeable, it is not. More and more complex checks are needed to be done. Checking needs time, but \SMTP\ dialogs time out if it takes too long. Thus during the \SMTP\ dialog, only limited time can be used for checking if a message seems to be spam. The advantage of this approach is that bad messages can simply get refused---no responsibility for them is taken and no further system load is added. See \RFC\,2505 (especially section 1.5) for detail.
meillo@402 377 \index{smtp!responsibility}
meillo@391 378 \index{smtp!dialog}
meillo@402 379 \index{rfc}
meillo@332 380
meillo@391 381 \item Checking for spam after the mail was accepted and queued: Here it is possible to invest more processing time, thus more detailed checks can be done. But, as responsibility for messages was taken, it is no choice to simply delete spam mail. Checks for spam do not lead to sure results, they just indicate the possibility the message is unwanted mail. \person{Eisentraut} lists actions to take after a message is recognized as probably spam \cite[pages 18--20]{eisentraut05}. For mail the \MTA\ is responsible for, the only acceptable action is adding further or rewriting existing header lines. Thus all further work on the spam messages is the same as for non-spam messages.
meillo@383 382 \end{enumerate}
meillo@332 383
meillo@382 384 Modern \MTA{}s use both techniques in combination. Checks during the \SMTP\ dialog tend to be implemented in the \MTA\ to make them fast; checks after the message was queued are often done using external programs (\name{spamassassin} is a well known one). \person{Eisentraut} sees the checks during the \SMTP\ dialog to be essential: ``Ganz ohne Analyse w\"ahrend der \SMTP-Phase kommt sowieso kein \MTA\ aus, und es ist eine Frage der Einsch\"atzung, wie weit man diese Phase belasten m\"ochte.'' \cite[page 25, (translated: ``No \MTA\ can go without analysis during the \SMTP\ phase anyway, but the amount of stress one likes to put on this phase is left to his discretion.'')]{eisentraut05}
meillo@402 385 \index{spamassassin}
meillo@332 386
meillo@382 387 Checks before a message is accepted, like \NAME{DNS} blacklists and \name{greylisting}, need to be invoked from within the receiving modules. Like for authentication and encryption, the implementation of this functionality should be provided by a central source.
meillo@391 388 \index{dns blacklist}
meillo@391 389 \index{greylisting}
meillo@332 390
meillo@382 391 All checks on queued messages should be done by pushing the message through external scanners like \name{spamassassin}. The \name{scanning} module is the best place to handle this. Hence this module needs interfaces to external scanners.
meillo@332 392
meillo@332 393
meillo@360 394 Malware scanning is similar to spam scanning of queued messages. The \name{amavis} framework is a popular mail scanning framework that includes all kinds of malware and also spam scanners; it communicates by using \SMTP.
meillo@332 395
meillo@382 396 Providing \SMTP\ in and out channels from the \name{scanning} module to external scanner applications is thus a desired goal. Using further instances of the already available \name{smtp} and \name{smtpd} modules appears to be the best solution.
meillo@332 397
meillo@332 398
meillo@332 399
meillo@332 400 \subsubsection*{The scanning module}
meillo@332 401
meillo@382 402 A problem, which was probably noticed by the attentive reader, is the lot of work that was put onto the \name{scanning} module. This is not what is desired. Thus splitting this module into a set of single modules might be necessary.
meillo@332 403
meillo@382 404 The decision how to split shall not be discussed here. It is left up to the time of prototyping, because trying different approaches helps with the decision in such situations.
meillo@340 405
meillo@332 406
meillo@332 407
meillo@332 408
meillo@332 409
meillo@89 410
meillo@175 411
meillo@326 412
meillo@326 413
meillo@326 414
meillo@326 415
meillo@326 416
meillo@326 417
meillo@246 418
meillo@246 419 \subsection{The resulting architecture}
meillo@246 420
meillo@382 421 The result is a symmetric design, featuring the following modules:
meillo@382 422
meillo@382 423 \begin{enumerate}
meillo@382 424 \item Any number of receiver modules that handle incoming connections.
meillo@382 425 \item A module that stores the received mail into a first queue.
meillo@382 426 \item A central scanning module that takes mail from the first queue, processes it in various ways, and puts it afterwards into a second queue.
meillo@382 427 \item A module that takes mail out of the second queue and passes it to a matching transport module.
meillo@382 428 \item A set of transport modules that transfers the message to the destination.
meillo@382 429 \end{enumerate}
meillo@382 430
meillo@382 431 In other words three main modules (\name{queue-in}, \name{scanning}, \name{queue-out}) are connected by two queues (\name{incoming}, \name{outgoing}). On each end is a set of modules to receive or send mail---one for each protocol. The queue includes also a message \name{pool} where the bodies of the queued messages are stored. Figure~\ref{fig:masqmail-arch-new} depicts the new designed architecture.
meillo@246 432
meillo@246 433 \begin{figure}
meillo@246 434 \begin{center}
meillo@397 435 \includegraphics[width=\textwidth]{fig/masqmail-arch-new.eps}
meillo@246 436 \end{center}
meillo@382 437 \caption{The new designed architecture for \masqmail}
meillo@246 438 \label{fig:masqmail-arch-new}
meillo@246 439 \end{figure}
meillo@246 440
meillo@382 441 This architecture is heavily influenced by the ones of \qmail\ and \postfix. Both have different incoming channels which merge in the module that puts mail into the queue; central is the queue (or more of them); and one module takes mail from the queue and passes it to one of the outgoing channels. But mail processing is built into the architecture in a more explicit way in this design than it was done in \qmail\ and \postfix.
meillo@391 442 \index{qmail}
meillo@391 443 \index{postfix}
meillo@246 444
meillo@382 445 Special regard was put on addable support for further mail transfer protocols. Here the design appears to be most similar to \qmail, which was designed to handle multiple protocols.
meillo@246 446
meillo@246 447
meillo@335 448 \subsubsection*{The modules}
meillo@246 449
meillo@382 450 Now follows a description of the modules of the new architecture. They are described in the same order in which a message passes through them.
meillo@246 451
meillo@246 452
meillo@383 453 \paragraph{Receiver modules}
meillo@391 454 \index{incoming channels}
meillo@382 455 They are the communication interface between external senders and the \name{queue-in} module. Each protocol needs a corresponding \name{receiver module} to be supported. Most popular is the \name{sendmail} module, which is a command to be called from the local host, and the \name{smtpd} module which usually listens on port 25. Other modules to support other protocols may be added as needed. Receiving modules that need to listen on ports should get invoked by \name{inetd}, or by \person{Bernstein}'s more secure \name{ucspi-tcp}. This makes it possible to run them with least privilege.
meillo@402 456 \index{inetd}
meillo@402 457 \index{inetd!ucspi-tcp}
meillo@402 458 \index{least privilege, principle of}
meillo@246 459
meillo@246 460
meillo@382 461 \paragraph{The \name{queue-in} module}
meillo@391 462 \index{mail queue}
meillo@382 463 Its job is to store new messages into the queue. When one of the receiving modules has a new message, it invokes the \name{queue-in} module which creates a spool file in the \name{incoming} queue and a data file in the \name{pool}. The receiver module then sends the envelope, the message header, and the message body. The \name{queue-in} modules writes the first two into the spool file, the latter one into the \name{pool}.
meillo@246 464
meillo@246 465
meillo@382 466 \paragraph{The \name{scanning} module}
meillo@382 467 It is the central part of the system. It reads spool files from the \name{incoming} queue, works on the data, and writes new spool files to the \name{outgoing} queue. Then the message is removed from the \name{incoming} queue. The main job of this module is the processing of the message. Headers are fixed and missing ones are added if necessary, aliasing is done, and external processing of any kind is triggered. The \name{scanning} module processes primary the spool files but may read the mail body from the \name{pool} if necessary.
meillo@246 468
meillo@246 469
meillo@382 470 \paragraph{The \name{queue-out} module}
meillo@391 471 \index{mail queue}
meillo@382 472 This module takes messages from the \name{outgoing} queue, queries information about the online state, and passes the messages to the correct transport module. Successfully transferred messages are removed from the \name{outgoing} queue. The \masqmail\ specific tasks of the route management are handled by this module, too.
meillo@246 473
meillo@382 474
meillo@383 475 \paragraph{Transport modules}
meillo@391 476 \index{outgoing channels}
meillo@382 477 These modules send outgoing mail; they are the interface between \name{queue-out} and remote hosts or local commands. The most popular modules of this kind are the \name{smtp} module which acts as an \SMTP\ client and the \name{pipe} module to interface gateways to other systems or networks like \NAME{FAX} and \NAME{UUCP}. A module for local delivery is not included; \masqmail\ passes this job to an \NAME{MDA} which gets invoked through the \name{pipe} module. (See section~\ref{sec:functional-requirements} for reasons.)
meillo@402 478 \index{fax}
meillo@402 479 \index{gateway}
meillo@402 480 \index{mda}
meillo@402 481 \index{pipe}
meillo@246 482
meillo@246 483
meillo@246 484
meillo@246 485
meillo@333 486 \subsubsection*{The queue}
meillo@391 487 \index{mail queue}
meillo@246 488
meillo@383 489 The queuing system consists of two queues and a message pool. The queues store the spool files---in unprocessed form in \name{incoming} and in complete and valid form in \name{outgoing}. The \name{pool} is the storage of the data files. On disk, the three parts of the queuing system are represented by three directories within the queue path.
meillo@382 490
meillo@383 491 The representation of queued messages on disk is basically the same as in current \masqmail: One file for the envelope and message header information (the ``spool file'') and a second file for the message body (the ``data file'').
meillo@335 492
meillo@383 493 The currently used internal structure of the spool files can remain. Following is a sample spool file from current \masqmail. The first part is the envelope and meta information. The annotations in parenthesis are only added to ease the understanding. The second part, after the empty line, is the message header.
meillo@246 494
meillo@360 495 \codeinput{input/sample-spool-file.txt}
meillo@246 496
meillo@360 497 The spool file owner's executable bit shows if a file is ready for further processing: The module that writes the file into the queue sets the bit as last action. Modules that read from the queue can process messages that have the bit set. This approach is derived from \postfix.
meillo@402 498 \index{executable bit}
meillo@402 499 \index{postfix}
meillo@246 500
meillo@383 501 The data file is stored into the \name{pool} by \name{queue-in}; it never gets modified until it is deleted by \name{queue-out}. They consist of data in local default text format.
meillo@335 502
meillo@335 503
meillo@360 504
meillo@246 505
meillo@246 506
meillo@337 507 \subsubsection*{Inter-module communication}
meillo@391 508 \index{ipc}
meillo@337 509
meillo@337 510 Communication between modules is required to exchange data and status information. This is also called ``Inter-process communication'' (short: \NAME{IPC}) because the modules are independent programs in this case and processes are programs in execution.
meillo@402 511 \index{ipc}
meillo@337 512
meillo@383 513 The connections between \name{queue-in} and \name{scanning}, as well as between \name{scanning} and \name{queue-out}, is provided by the queues, only signals might be useful to trigger runs. Communication between receiver and transport modules and the outside world is organized by their specific protocol (e.g.\ \SMTP).
meillo@337 514
meillo@393 515 Left is only the communication between the receiver modules and \name{queue-in}, and between \name{queue-out} and the transport modules. Suggested for this communication is a simple protocol with data exchange through Unix pipes. Figure~\ref{fig:ipc-protocol} shows a state diagram for the protocol.
meillo@402 516 \index{pipe}
meillo@337 517
meillo@392 518 The protocol is described in more detail now:
meillo@392 519
meillo@392 520 \paragraph{Timing}
meillo@392 521 One dialog consists of exactly three phases: (1) The connection attempt, (2) The envelope and header transfer, and (3) The transfer of the message body. The order is always the same. The three phases are all initiated by the client process. After each phase the server process sends a success or failure reply. Timeouts for each phase need to be implemented.
meillo@392 522
meillo@360 523 \begin{figure}
meillo@360 524 \begin{center}
meillo@397 525 \includegraphics[scale=0.75]{fig/ipc-protocol.eps}
meillo@360 526 \end{center}
meillo@383 527 \caption{State diagram of the \NAME{IPC} protocol. (Solid lines indicate client actions, dashed lines indicate server responses.)}
meillo@360 528 \label{fig:ipc-protocol}
meillo@360 529 \end{figure}
meillo@360 530
meillo@337 531 \paragraph{Semantics}
meillo@383 532 The connection attempt is simply opening the connection. This starts the dialog. A positive reply by the server leads to the transfer of the envelope and the message header. If the server again sends a positive reply, the message data is transferred. A last server reply ends the dialog.
meillo@337 533
meillo@383 534 The client indicates the end of each data transfer with a special terminator sequence. The appearance of this terminator sequence tells the server process that the data transfer is complete. The server then needs to send its reply. The server process takes responsibility for the data in sending a success reply. A failure reply immediately stops the dialog and resets both client and server to the state before the connection attempt.
meillo@337 535
meillo@337 536 \paragraph{Syntax}
meillo@383 537 Data transfer is done by sending plain text data. \name{Line Feed} (`\texttt{\textbackslash{}n}')---the native line separator on Unix---is used as line separator. The terminator sequence used to indicate the end of the data transfer is the \NAME{ASCII} \name{null} character (`\texttt{\textbackslash0}'). Replies are one-digit numbers with `\texttt{0}' meaning success and any other number (`\texttt{1}'--`\texttt{9}') indicating failure.
meillo@402 538 \index{Line Feed}
meillo@402 539 \index{ascii}
meillo@402 540 \index{Unix}
meillo@402 541 \index{plain text}
meillo@337 542
meillo@337 543
meillo@337 544
meillo@337 545
meillo@337 546
meillo@348 547 \subsubsection*{Rights and permissions}
meillo@391 548 \index{permission}
meillo@246 549
meillo@383 550 The set of system users that is required for \qmail\ seems to be too complex for \masqmail. One system user, like \postfix\ uses, is more appropriate. \name{root} privilege and \name{setuid} permission should to be avoided if feasible.
meillo@402 551 \index{system user management}
meillo@402 552 \index{postfix}
meillo@402 553 \index{qmail}
meillo@402 554 \index{root privilege}
meillo@246 555
meillo@406 556 The \name{queue-in} module is the part of the system that is most critical about permission. It either needs to run as daemon or be \name{setuid} or \name{setgid} in order to avoid a world-writable queue. \person{Ian~R.\ Justman} recommends to use \name{setgid} in this situation:
meillo@391 557 \index{setuid}
meillo@246 558
meillo@341 559 \begin{quote}
meillo@341 560 But if all you need to do is post a file into an area which does not have world writability but does have group writability, and you want accountability, the best, and probably easiest, way to accomplish this without the need for excess code for uid switching (which is tricky to deal with especially with setuid-to-root programs) is the setgid bit and a group-writable directory.
meillo@341 561 \hfill\cite{justman:bugtraq}
meillo@341 562 \end{quote}
meillo@246 563
meillo@406 564 \person{Bernstein} chose \name{setuid} for the \name{qmail-queue} module, \person{Venema} uses \name{setgid} in \postfix, yet the differences are small. Better than running the module as a daemon is each of them. A daemon needs more resources and therefore becomes inefficient on systems with low mail amount, like the ones \masqmail\ will probably run on. Short running processes are additionally higher obstacles for intruders, because a process will die soon if an intruder managed to take one over.
meillo@391 565 \index{qmail}
meillo@391 566 \index{postfix}
meillo@402 567 \index{setuid}
meillo@246 568
meillo@246 569
meillo@383 570 The modules \name{scanning} and \name{queue-out} are candidates for all-time running daemon processes. Alternatively they could be started by \name{cron} to do single runs.
meillo@402 571 \index{cron}
meillo@246 572
meillo@383 573 Another possibility is to run a master process as daemon which starts and restarts the system parts. \postfix\ has such a master process, \qmail\ lacks it. The jobs of a master process can be done by other tools of the operating system too, thus making a master process abdicable. \masqmail\ does probably better go without a master process, because it aims to save resources, not to get the best performance.
meillo@402 574 \index{qmail}
meillo@391 575 \index{master process}
meillo@246 576
meillo@396 577 A sane permission management is very important for secure software in general. The \name{principle of least privilege} \cite[section~I.A.3.f]{saltzer75}, as it is often called, should be respected. If it is possible to use lower privilege then it should be done. An example for doing so is the \name{smtpd} module. It is a server module which listens on a port. One way is to start it as root and let it bind to the port and drop all privilege before it does any other work. But root privilege is avoidable completely if \name{inetd}, or one of its substitutes, listens on the port instead of the \name{smtpd} module. \name{inetd} will then launch the \name{smtpd} module to handle the connection whenever a connection attempt to the port is made. The \name{smtpd} module needs no privilege at all this way.
meillo@402 578 \index{least privilege, principle of}
meillo@402 579 \index{inetd}
meillo@402 580 \index{root privilege}
meillo@246 581
meillo@341 582
meillo@341 583