docs/diploma

annotate thesis/tex/5-Improvements.tex @ 397:13e630c5a44d

rename img -> fig
author meillo@marmaro.de
date Sat, 07 Feb 2009 22:39:07 +0100
parents 8ef85e22ff7d
children e57129f57faa
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@246 23
meillo@382 24 This work requires changes mainly in three source files: \path{smtp_in.c}, \path{smtp_out.c}, and \path{conf.c}.
meillo@246 25
meillo@395 26 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 27 \index{smtp}
meillo@246 28
meillo@395 29 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 30
meillo@335 31 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@246 32
meillo@335 33 \subsubsection*{Depencencies}
meillo@391 34
meillo@382 35 \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 36 \index{tls}
meillo@391 37 \index{certificates}
meillo@391 38 \index{openssl}
meillo@391 39 \index{gnutls}
meillo@391 40 \index{gpl}
meillo@246 41
meillo@317 42 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 43
meillo@246 44
meillo@335 45 \subsubsection*{Existing code}
meillo@391 46 \index{existing code}
meillo@246 47
meillo@382 48 \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 49 \index{qmail}
meillo@335 50
meillo@335 51 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 52
meillo@335 53
meillo@246 54
meillo@246 55
meillo@246 56
meillo@184 57
meillo@385 58 \subsection{Authentication}
meillo@391 59 \index{auth}
meillo@125 60
meillo@385 61 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 62
meillo@382 63 Static access restriction, based on the \NAME{IP} address is already possible by using \NAME{TCP} \name{Wrappers}. 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@391 64 \index{tcp wrappers}
meillo@277 65
meillo@335 66 \subsubsection*{One of the dynamic methods}
meillo@335 67
meillo@382 68 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 69 \index{auth!methods}
meillo@277 70
meillo@317 71 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 72
meillo@382 73 \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@391 74 \index{smtp-auth}
meillo@391 75 \index{sasl}
meillo@382 76
meillo@184 77 \begin{quote}
meillo@332 78 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 79 \hfill\cite[page~44]{dent04}
meillo@184 80 \end{quote}
meillo@184 81
meillo@392 82 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@335 83
meillo@391 84
meillo@360 85 \subsubsection*{Simple Authentication and Security Layer}
meillo@391 86 \index{sasl}
meillo@277 87
meillo@382 88 \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@391 89 \index{cyrus sasl}
meillo@391 90 \index{pam}
meillo@391 91 \index{gsasl}
meillo@317 92
meillo@382 93 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 94
meillo@382 95 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 96
meillo@324 97 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@324 98
meillo@324 99 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 100
meillo@324 101
meillo@335 102 \subsubsection*{Authentication backend}
meillo@391 103 \index{auth!backend}
meillo@335 104
meillo@382 105 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 106
meillo@324 107
meillo@184 108
meillo@184 109
meillo@184 110
meillo@324 111
meillo@324 112
meillo@326 113 \subsection{Security}
meillo@335 114 \label{sec:current-code-security}
meillo@391 115 \index{security}
meillo@184 116
meillo@385 117 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 118 \index{wrapper}
meillo@391 119 \index{interposition filter}
meillo@324 120
meillo@335 121 \subsubsection*{Mail security layers}
meillo@335 122
meillo@382 123 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 124 \index{mail security layer}
meillo@391 125 \index{smap}
meillo@324 126
meillo@382 127 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 128
meillo@382 129 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 130
meillo@382 131 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 132
meillo@382 133 \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@391 134 \index{inetd}
meillo@391 135 \index{proxy}
meillo@324 136
meillo@392 137 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 138 \index{policy}
meillo@324 139
meillo@382 140 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 141
meillo@184 142
meillo@326 143 \subsubsection*{A concrete setup}
meillo@184 144
meillo@392 145 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@391 146 \index{auth}
meillo@391 147 \index{enc}
meillo@317 148
meillo@326 149 \begin{figure}
meillo@326 150 \begin{center}
meillo@397 151 \includegraphics[scale=0.75]{fig/proxy-setup.eps}
meillo@326 152 \end{center}
meillo@326 153 \caption{A setup with a proxy}
meillo@391 154 \index{figure!A setup with a proxy}
meillo@326 155 \label{fig:proxy-setup}
meillo@326 156 \end{figure}
meillo@288 157
meillo@246 158
meillo@298 159 \subsubsection*{Spam and malware handling}
meillo@391 160 \index{spam!handling}
meillo@391 161 \index{malware!handling}
meillo@277 162
meillo@332 163 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 164
meillo@277 165
meillo@246 166
meillo@246 167
meillo@246 168
meillo@246 169
meillo@246 170
meillo@246 171
meillo@246 172
meillo@246 173
meillo@246 174
meillo@246 175
meillo@246 176
meillo@246 177
meillo@246 178
meillo@246 179
meillo@246 180
meillo@285 181 \section{A new design}
meillo@326 182 \label{sec:new-design}
meillo@391 183 \index{masqmail!new design}
meillo@246 184
meillo@382 185 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 186
meillo@249 187 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 188
meillo@246 189
meillo@328 190
meillo@328 191 \subsection{Design decisions}
meillo@328 192
meillo@382 193 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 194
meillo@331 195 A number of major design ideas lead the development of the new architecture:
meillo@328 196 \begin{enumerate}
meillo@382 197 \item Throughout compartmentalization.
meillo@382 198 \item Free the internal system from the in and out channels. Provide interfaces to add arbitrary protocol handlers afterwards.
meillo@382 199 \item Have a single point for scanning where all mail goes through.
meillo@382 200 \item Concentrate on the mail transfer job. Use specialized external programs for other jobs.
meillo@382 201 \item Keep it simple, clear, and general.
meillo@328 202 \end{enumerate}
meillo@391 203 \index{compartmentalization}
meillo@246 204
meillo@246 205
meillo@326 206
meillo@246 207 \subsubsection*{Incoming channels}
meillo@391 208 \index{incoming channels}
meillo@246 209
meillo@382 210 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 211 \index{sendmail!command}
meillo@246 212
meillo@396 213 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@391 214 \index{sendmailx}
meillo@391 215 \index{smtp}
meillo@391 216 \index{setuid}
meillo@246 217
meillo@392 218 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 219 \index{qmail}
meillo@391 220 \index{postfix}
meillo@246 221
meillo@382 222 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 223
meillo@328 224 The approach of simple independent modules, one for each incoming channel, should be taken.
meillo@328 225
meillo@375 226 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 227 \index{pop3}
meillo@391 228 \index{imap}
meillo@328 229
meillo@246 230
meillo@246 231
meillo@246 232 \subsubsection*{Outgoing channels}
meillo@391 233 \index{outgoing channels}
meillo@246 234
meillo@382 235 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 236 \index{uucp}
meillo@246 237
meillo@378 238 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@391 239 \index{setuid}
meillo@246 240
meillo@378 241 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 242 \index{local delivery}
meillo@246 243
meillo@360 244 Other outgoing channels, one for each supported protocol, should be designed like it was done in other \MTA{}s.
meillo@246 245
meillo@246 246
meillo@246 247
meillo@382 248 \subsubsection*{Mail queuing}
meillo@391 249 \index{mail queue}
meillo@246 250
meillo@382 251 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@246 252
meillo@332 253 Common \MTA{}s feature one or more mail queues, they sometimes have effectively several queues within one physical representation.
meillo@246 254
meillo@382 255 \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@391 256 \index{exim}
meillo@391 257 \index{postfix}
meillo@246 258
meillo@382 259 \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 260
meillo@382 261 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 262 \index{database system}
meillo@246 263
meillo@382 264 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@298 265
meillo@382 266 Robustness of the queue is covered in the next section.
meillo@246 267
meillo@246 268
meillo@328 269
meillo@328 270 \subsubsection*{Mail sanitizing}
meillo@391 271 \index{mail sanitizing}
meillo@328 272
meillo@360 273 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 274
meillo@382 275 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 276 \index{postfix}
meillo@328 277
meillo@382 278 \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 279 \index{qmail}
meillo@328 280
meillo@396 281 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 282 \index{parser generator}
meillo@328 283
meillo@382 284 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 285
meillo@392 286 \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 287 \index{robustness!principle of}
meillo@328 288
meillo@328 289
meillo@246 290
meillo@246 291
meillo@246 292 \subsubsection*{Aliasing}
meillo@391 293 \index{aliases}
meillo@246 294
meillo@382 295 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 296
meillo@382 297 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 298
meillo@382 299 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@328 300
meillo@382 301 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 302
meillo@246 303
meillo@246 304
meillo@287 305 \subsubsection*{Route management}
meillo@391 306 \index{online routes}
meillo@246 307
meillo@396 308 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 309
meillo@246 310
meillo@246 311
meillo@246 312 \subsubsection*{Archiving}
meillo@391 313 \index{archiving}
meillo@89 314
meillo@382 315 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 316
meillo@382 317 \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@391 318 \index{smtp!dialog}
meillo@194 319
meillo@382 320 Archiving's functional requirements were described as \RF\,10 on page~\pageref{rf10}.
meillo@340 321
meillo@194 322
meillo@194 323
meillo@194 324
meillo@89 325
meillo@332 326 \subsubsection*{Authentication and Encryption}
meillo@391 327 \index{auth}
meillo@391 328 \index{enc}
meillo@332 329
meillo@382 330 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 331
meillo@382 332 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 333 \index{incoming channels}
meillo@391 334 \index{outgoing channels}
meillo@332 335
meillo@382 336 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 337
meillo@332 338
meillo@332 339
meillo@332 340
meillo@332 341
meillo@332 342
meillo@332 343 \subsubsection*{Spam and malware handling}
meillo@391 344 \index{spam!handling}
meillo@391 345 \index{malware!handling}
meillo@332 346
meillo@378 347 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 348
meillo@383 349 \begin{enumerate}
meillo@391 350 \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@391 351 \index{smtp!dialog}
meillo@332 352
meillo@391 353 \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 354 \end{enumerate}
meillo@332 355
meillo@382 356 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@332 357
meillo@382 358 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 359 \index{dns blacklist}
meillo@391 360 \index{greylisting}
meillo@332 361
meillo@382 362 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 363
meillo@332 364
meillo@360 365 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 366
meillo@382 367 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 368
meillo@332 369
meillo@332 370
meillo@332 371 \subsubsection*{The scanning module}
meillo@332 372
meillo@382 373 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 374
meillo@382 375 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 376
meillo@332 377
meillo@332 378
meillo@332 379
meillo@332 380
meillo@89 381
meillo@175 382
meillo@326 383
meillo@326 384
meillo@326 385
meillo@326 386
meillo@326 387
meillo@326 388
meillo@246 389
meillo@246 390 \subsection{The resulting architecture}
meillo@246 391
meillo@382 392 The result is a symmetric design, featuring the following modules:
meillo@382 393
meillo@382 394 \begin{enumerate}
meillo@382 395 \item Any number of receiver modules that handle incoming connections.
meillo@382 396 \item A module that stores the received mail into a first queue.
meillo@382 397 \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 398 \item A module that takes mail out of the second queue and passes it to a matching transport module.
meillo@382 399 \item A set of transport modules that transfers the message to the destination.
meillo@382 400 \end{enumerate}
meillo@382 401
meillo@382 402 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 403
meillo@246 404 \begin{figure}
meillo@246 405 \begin{center}
meillo@397 406 \includegraphics[width=\textwidth]{fig/masqmail-arch-new.eps}
meillo@246 407 \end{center}
meillo@382 408 \caption{The new designed architecture for \masqmail}
meillo@391 409 \index{figure!The new designed architecture for \masqmail}
meillo@246 410 \label{fig:masqmail-arch-new}
meillo@246 411 \end{figure}
meillo@246 412
meillo@382 413 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 414 \index{qmail}
meillo@391 415 \index{postfix}
meillo@246 416
meillo@382 417 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 418
meillo@246 419
meillo@335 420 \subsubsection*{The modules}
meillo@246 421
meillo@382 422 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 423
meillo@246 424
meillo@383 425 \paragraph{Receiver modules}
meillo@391 426 \index{incoming channels}
meillo@382 427 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@396 428 \index{least privilege}
meillo@246 429
meillo@246 430
meillo@382 431 \paragraph{The \name{queue-in} module}
meillo@391 432 \index{mail queue}
meillo@382 433 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 434
meillo@246 435
meillo@382 436 \paragraph{The \name{scanning} module}
meillo@382 437 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 438
meillo@246 439
meillo@382 440 \paragraph{The \name{queue-out} module}
meillo@391 441 \index{mail queue}
meillo@382 442 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 443
meillo@382 444
meillo@383 445 \paragraph{Transport modules}
meillo@391 446 \index{outgoing channels}
meillo@382 447 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@246 448
meillo@246 449
meillo@246 450
meillo@246 451
meillo@333 452 \subsubsection*{The queue}
meillo@391 453 \index{mail queue}
meillo@246 454
meillo@383 455 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 456
meillo@383 457 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@391 458 \index{spool file}
meillo@391 459 \index{data file}
meillo@335 460
meillo@383 461 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 462
meillo@360 463 \codeinput{input/sample-spool-file.txt}
meillo@246 464
meillo@360 465 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@246 466
meillo@383 467 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 468
meillo@335 469
meillo@360 470
meillo@246 471
meillo@246 472
meillo@337 473 \subsubsection*{Inter-module communication}
meillo@391 474 \index{ipc}
meillo@337 475
meillo@337 476 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@337 477
meillo@383 478 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 479
meillo@393 480 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@337 481
meillo@392 482 The protocol is described in more detail now:
meillo@392 483 \index{protocol}
meillo@392 484
meillo@392 485 \paragraph{Timing}
meillo@392 486 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 487
meillo@360 488 \begin{figure}
meillo@360 489 \begin{center}
meillo@397 490 \includegraphics[scale=0.75]{fig/ipc-protocol.eps}
meillo@360 491 \end{center}
meillo@383 492 \caption{State diagram of the \NAME{IPC} protocol. (Solid lines indicate client actions, dashed lines indicate server responses.)}
meillo@391 493 \index{figure!State diagram of the \NAME{IPC} protocol.}
meillo@360 494 \label{fig:ipc-protocol}
meillo@360 495 \end{figure}
meillo@360 496
meillo@337 497 \paragraph{Semantics}
meillo@383 498 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 499
meillo@383 500 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 501
meillo@337 502 \paragraph{Syntax}
meillo@383 503 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@337 504
meillo@337 505
meillo@337 506
meillo@337 507
meillo@337 508
meillo@348 509 \subsubsection*{Rights and permissions}
meillo@391 510 \index{permission}
meillo@246 511
meillo@383 512 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@246 513
meillo@383 514 The \name{queue-in} module is the part of the system that is most critical about permission. It either needs to run as deamon 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 515 \index{setuid}
meillo@246 516
meillo@341 517 \begin{quote}
meillo@341 518 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 519 \hfill\cite{justman:bugtraq}
meillo@341 520 \end{quote}
meillo@246 521
meillo@383 522 \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 deamon is each of them. A deamon 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 523 \index{qmail}
meillo@391 524 \index{postfix}
meillo@246 525
meillo@246 526
meillo@383 527 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@246 528
meillo@383 529 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@391 530 \index{master process}
meillo@246 531
meillo@396 532 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@246 533
meillo@341 534
meillo@341 535