docs/diploma

annotate thesis/tex/5-Improvements.tex @ 330:0e8c19c4b6ba

updated modules, queues, and ipc sections of new design
author meillo@marmaro.de
date Fri, 23 Jan 2009 21:56:45 +0100
parents 2b1da14922f7
children 462e9b23d125
rev   line source
meillo@246 1 \chapter{Improvement plans}
meillo@89 2
meillo@317 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 rebuild to gain a secure and modern \MTA\ architecture for the future.
meillo@109 4
meillo@317 5 This chapter finally gives concrete suggestions \emph{how} to realize these plans.
meillo@249 6
meillo@317 7 The first part covers the short-time goals which base on 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@249 14 The first three \TODO{}s 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@326 18 \subsection{Encryption}
meillo@246 19
meillo@317 20 Encryption should be the first funtionality to add to the current code. This requirement was already discussed on page \pageref{requirement-encryption}. As explained there, \NAME{STARTTLS} encryption---as defined in \RFC\,2487---should be added to \masqmail.
meillo@246 21
meillo@317 22 Adding encryption requires changes mainly in three source files: \path{smtp_in.c}, \path{smtp_out.c}, and in \path{conf.c}.
meillo@246 23
meillo@317 24 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@246 25
meillo@317 26 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 only if encryption is possible.
meillo@246 27
meillo@317 28 The third file controls the configuration files. New configuration option need to be added. The encryption policy for incoming connections needs to be defined. Three choises 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 29
meillo@317 30 \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. Open\NAME{SSL} or a substitute like Gnu\NAME{TLS} does then become a dependency for \masqmail. Gnu\NAME{TLS} seems to be the better choice because the Open\NAME{SSL} license is incompatible to the \NAME{GPL}, under which \masqmail\ and Gnu\NAME{TLS} are covered.
meillo@246 31
meillo@317 32 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 33
meillo@246 34
meillo@317 35 << TLS patch of qmail >>
meillo@246 36
meillo@246 37 %postfix: main.cf
meillo@317 38 %
meillo@246 39 % smtpd_use_tls = yes
meillo@246 40 % smtpd_tls_received_header = no (does not log in received headers)
meillo@246 41 %
meillo@246 42 % smtpd_tls_key_file = /etc/postfix/key.pem
meillo@246 43 % smtpd_tls_cert_file = /etc/postfix/cert.pem
meillo@246 44 % smtpd_tls_CA_file = /etc/postfix/CAcert.pem
meillo@246 45 %
meillo@246 46 % smtp_use_tls = yes (use TLS for sending)
meillo@246 47 % smtp_tls_key_file = /etc/postfix/key.pem
meillo@246 48 % smtp_tls_cert_file = /etc/postfix/cert.pem
meillo@246 49 % smtp_tls_CA_file = /etc/postfix/CAcert.pem
meillo@246 50
meillo@246 51
meillo@246 52
meillo@184 53
meillo@326 54 \subsection{Authentication}
meillo@125 55
meillo@317 56 Authentication is the second function to add; 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 57
meillo@317 58 Static access restriction, based on the \NAME{IP} address is already possible by using \name{TCP Wrappers}. This makes it easy to refuse all connections from outside the local net for example, which is a good prevention of being an open relay. More detailed static restrictions, like splitting between mail for the system and mail to relay, should not be added to the current code. This may be a concern for the new design.
meillo@277 59
meillo@317 60 Of the 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@277 61
meillo@317 62 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 63
meillo@317 64 \SMTP\ authentication (also refered to as \NAME{SMTP-AUTH}) support is easiest received 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@184 65 \begin{quote}
meillo@184 66 %None of these add-ons is an ideal solution. They require additional code compiled into your existing daemons that may then require special write accesss 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, SASL is probably the solution that offers the most reliable and scalable method to authenticate users.
meillo@184 67 None of these [authentication methods] is an ideal solution. They require additional code compiled into your existing daemons that may then require special write accesss 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@218 68 \hfill\cite[page 44]{dent04}
meillo@184 69 \end{quote}
meillo@184 70
meillo@324 71 These days is \NAME{SMTP-AUTH}, which is defined in \RFC\,2554, supported by most email clients. If encryption is used then even insecure authentication methods like \NAME{PLAIN} and \NAME{LOGIN} become secure.
meillo@277 72
meillo@324 73 \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 \path{/etc/passwd} 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 on deciding for a method and on 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 by \name{msmtp} for example. It seems best to give both concepts a try and decide then which one to use.
meillo@317 74
meillo@324 75 Currently, outgoing connections already feature \SMTP-\NAME{AUTH} but only in a hand-coded way. It is to decide wether it remains as it is or gets replaced by the \NAME{SASL} approach, that is used for incoming connections. The decision should be based on the estimated time until the new design is usable.
meillo@324 76
meillo@324 77 Authentication needs code changes at the same places as encryption. The relevant code files are \path{smtp_in.c}, \path{smtp_out.c}, and \path{conf.c}.
meillo@324 78
meillo@324 79 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 80
meillo@324 81 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 82
meillo@324 83
meillo@324 84 About the authentication backend. For a small \MTA\ like \masqmail, it seems preferrable 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 85
meillo@324 86
meillo@324 87
meillo@317 88
meillo@317 89
meillo@317 90 << Compare static with dynamic authentication: pros and cons; usecases: when to use what; >>
meillo@317 91
meillo@317 92 << how could this be covered by architecture (e.g. smtp submission). >>
meillo@184 93
meillo@184 94
meillo@184 95
meillo@324 96
meillo@324 97
meillo@326 98 \subsection{Security}
meillo@184 99
meillo@324 100 Improvements to \masqmail's security are an important requirement and are the third task to work 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@324 101
meillo@324 102 At first mail security layers like \name{smap} come to mind. The market share analysis in section \ref{sec:market-share} identified such software. This is an interposition filter that stands between the untrusted network and the \MTA. It accepts mail in replacement for the \MTA\ (also called \name{proxy}) in order to separate the \MTA\ from the untrusted network.
meillo@324 103
meillo@324 104 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 the queue which it submits into the \MTA\ then.
meillo@324 105
meillo@324 106 Because the \MTA\ does not listen for connections from extern now, it is not directly attackable. But the \MTA\ can not react on relaying and spam on 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 107
meillo@324 108 The advantage is that the \MTA\ itself needs not to bother much with untrusted environments. And a small proxy cares only about that work.
meillo@324 109
meillo@324 110 \name{smap} is non-free software and thus no general choice for \masqmail. A way to achieve a similar setup would be to copy \masqmail\ and strip one copy to the bare minimum 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@324 111
meillo@326 112 Mail from extern 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@324 113
meillo@326 114 The here described setup comes close to the structure of the incoming channels in the new design which is described in \ref{sec:new-design}. This shows the possibilities of the here chosen approach. %fixme: rethink this sentence
meillo@184 115
meillo@184 116
meillo@326 117 \subsubsection*{A concrete setup}
meillo@184 118
meillo@326 119 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} (by calling the \path{sendmail} command) 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@317 120
meillo@326 121 \begin{figure}
meillo@326 122 \begin{center}
meillo@326 123 \includegraphics[scale=0.75]{img/proxy-setup.eps}
meillo@326 124 \end{center}
meillo@326 125 \caption{A setup with a proxy}
meillo@326 126 \label{fig:proxy-setup}
meillo@326 127 \end{figure}
meillo@288 128
meillo@246 129
meillo@298 130 \subsubsection*{Spam and malware handling}
meillo@277 131
meillo@326 132 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 conincidence, because a scanner like \name{amavis} can simply be put in replace for the internal socket ``X''.
meillo@277 133
meillo@277 134
meillo@246 135
meillo@246 136
meillo@326 137 \subsubsection*{Conditional compilation}
meillo@326 138 << conditional compilation >>
meillo@326 139
meillo@326 140
meillo@326 141
meillo@246 142
meillo@246 143
meillo@246 144
meillo@246 145
meillo@246 146
meillo@246 147
meillo@246 148
meillo@246 149
meillo@246 150
meillo@246 151
meillo@246 152
meillo@246 153
meillo@246 154
meillo@246 155
meillo@285 156 \section{A new design}
meillo@326 157 \label{sec:new-design}
meillo@246 158
meillo@328 159 The last chapter identified the requirements for a modern and secure \masqmail. Now the various jobs of an \MTA\ get assigned to modules of which a new architecture is created. It is inspired by existing \MTA{}s and driven by the identified requirements.
meillo@246 160
meillo@249 161 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 162
meillo@246 163
meillo@328 164
meillo@328 165 \subsection{Design decisions}
meillo@328 166
meillo@326 167 Major design ideas of the design were:
meillo@328 168 \begin{enumerate}
meillo@328 169 \item compartmentalization throughout
meillo@328 170 \item free the internal system from the in and out channels
meillo@328 171 \item provide interfaces to add arbitrary protocol handlers afterwards
meillo@328 172 \item have a single point where all mail goes through for scanning
meillo@328 173 \item concentrate on the mail transfer job; use specialized external programs for other jobs
meillo@328 174 \item keep it simple, clear, and general
meillo@328 175 \end{enumerate}
meillo@246 176
meillo@246 177
meillo@326 178
meillo@246 179 \subsubsection*{Incoming channels}
meillo@246 180
meillo@328 181 \sendmail-compatible \mta{}s must support at least two incoming channels: mail submitted using the \sendmail\ command, and mail received via the \SMTP\ daemon. It is therefore common to split the incoming channel into local and remote. This is done by \qmail\ and \postfix. The same way is \person{Hafiz}'s view \cite{hafiz05}. %fixme: specify page
meillo@246 182
meillo@328 183 In contrast is \name{sendmail X}: Its locally submitted messages go to the \SMTP\ daemon, which is the only connection towards the mail queue. %fixme: is it a smtp dialog? or a back door?
meillo@328 184 \person{Finch} proposes a similar approach. He wants the \texttt{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 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@246 185
meillo@328 186 But merging the input channels in the \SMTP\ daemon makes the \MTA\ heavily dependent on \SMTP. To \qmail\ and \postfix\ new modules to support other ways of message receival may be added without change of other parts of the system. Also the \SMTP\ modules can be removed if it is not needed. And it is better to have more independent modules if each one is simpler then---it makes the modules more complicated if each one needs to implement an \SMTP\ client.
meillo@246 187
meillo@328 188 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 also the advantage to simply apply different policies. Thus it is possible to run two \SMTP\ modules that listen on different ports; one accessable from the Internet but requires authentication, the other only accessable from the local network but does not require authentication.
meillo@328 189
meillo@328 190 The approach of simple independent modules, one for each incoming channel, should be taken.
meillo@328 191
meillo@328 192 A module which is a \NAME{POP} or \NAME{IMAP} client to import contents of other mail boxes into the system may be added afterwards as it is desired.
meillo@328 193
meillo@246 194
meillo@246 195
meillo@246 196 \subsubsection*{Outgoing channels}
meillo@246 197
meillo@328 198 Outgoing mail is commonly either sent using \SMTP, piped into local commands (for example \path{uucp}), or delivered locally by appending to a mailbox.
meillo@246 199
meillo@328 200 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 requires root privilege to be able to switch to any user in order to write to his mailbox. Modular \MTA{}s do not need \name{setuid root}, but the local delivery process (or its parent) needs to run as root\footnote{root privilege is actually not a mandatory requirement, but any other approach has some disadvantages, so commonly root privilege is used.}.
meillo@246 201
meillo@328 202 Local mail delivery should not be done by the \MTA, but by an \NAME{MDA}. 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@246 203
meillo@328 204 Other outgoing channels, one for each supportet protocol, may be designed like it was done in other \MTA{}s.
meillo@246 205
meillo@246 206
meillo@246 207
meillo@328 208 \subsubsection*{The mail queue}
meillo@246 209
meillo@328 210 The mail queue is the central part of an \MTA. This demands especially for robustness and reliability as a failure here can lead to loosing mail.
meillo@246 211
meillo@328 212 %\sendmail, \exim, \qmail, \name{sendmail X}, and \masqmail\ feature one single mail queue. \postfix\ has more of them.
meillo@328 213 Common \MTA{}s feature one or more mail queues, they sometimes have effectly several queues within one physical representation.
meillo@246 214
meillo@328 215 \MTA\ setups that include content scanning tend to require two separate queues. To use \sendmail\ in such setups requires two independent instances with two separate queues. \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, with the content scanning within the move from \name{incoming} to \name{active}.
meillo@246 216
meillo@328 217 \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: storing the whole queue in one single file with pointers to separating positions \cite{finchFIXME}. %fixme: check, cite, and think about
meillo@246 218
meillo@328 219 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 so much that it outweighs its costs.
meillo@246 220
meillo@328 221 Hence here the choice 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 of advantage if data is stored in the operation system's natural form, which in the case of \unix\ is plain text.
meillo@298 222
meillo@328 223 Robustness for the queue is covered in the next section. %fixme: ist this sentence neccessary? Is it still correct.
meillo@246 224
meillo@246 225
meillo@328 226
meillo@328 227 \subsubsection*{Mail sanitizing}
meillo@328 228
meillo@328 229 Mail coming into the system may be may be malformed, lacking headers, or be an attempt to exploit the system. Care must be taken.
meillo@328 230
meillo@328 231 In \postfix, this is done 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@328 232
meillo@328 233 \qmail\ has the principle of ``don't parse'' which propagades the avoidance of parsing as possible in the system. The reason is that parsing is a highly complex task which often makes code exploitable.
meillo@328 234
meillo@328 235 Mail should be stored into the queue as it is in \masqmail's new design. A scanning module should then parse the message with high care. It seems best to use a \name{parser generator} for this work. The parsed data should then be modified if needed and written into a second queue. This approach has several advantages. First, the receiving parts of the system do not bother about content, they simply store it into the queue. Second, one single modules does the parsing and generates new messages that contain only valid data. Third, the sending parts of the system will 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 required for spam and malware scanning too.
meillo@328 236
meillo@328 237 The mail body will never get modified, except of removing and adding transfer protocol specific requirements like dot stuffing or special line ending characters.
meillo@328 238
meillo@328 239 \person{Jon Postel}'s robustness principle ``Be liberal in what you accept, and conservative in what you send.'', which can be found in this wording in \RFC\,1122 and in different wordings in numerous \RFC{}s, is respected in the \name{scanning} module. It parses the given input in some liberal way and generates clean output. \person{Raymond}'s \name{Rule of Repair} ``Repair what you can -- but when you must fail, fail noisily and as soon as possible.'' can be applied too. But it is important to repair only obvious problems, because repairing functionality is likely a target of attacks.
meillo@328 240
meillo@328 241
meillo@246 242
meillo@246 243
meillo@246 244 \subsubsection*{Aliasing}
meillo@246 245
meillo@328 246 The main question about aliasing is: Where should aliases get expanded?
meillo@246 247
meillo@328 248 Two facts are important to consider: Addresses expanding to lists of users lead to more envelopes. And aliases changing the reciptient's domain part may make the message unsuitable for a specific online route.
meillo@328 249
meillo@328 250 Aliasing is often handled in expanding the alias and reinjecting 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 reinjecting it is the best choice. But already accepted messages may get rejected in the second go, because of an replacement address from within the system. This seems not to be wanted.
meillo@328 251
meillo@328 252 Doing the alias expansion in the scanning module appears to be the best solution. Unfortunately a second alias expansion must be made on delivery, because only at that point in time is clear which route is used for the message. This compromise is accepted.
meillo@246 253
meillo@246 254
meillo@246 255
meillo@287 256 \subsubsection*{Route management}
meillo@246 257
meillo@328 258 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, %fixme: is this still true?
meillo@328 259 should to be done in the same go.
meillo@246 260
meillo@246 261
meillo@246 262
meillo@246 263
meillo@328 264 \subsubsection*{Authentication and Encryption}
meillo@246 265
meillo@328 266 Both topics were discussed several time throughout this thesis, amoung other places on page \pageref{} and \pageref{}.
meillo@246 267
meillo@328 268 Authentication should be done within the receiving modules. Similar should authentication for outgoing connections be handled by the sending modules.
meillo@246 269
meillo@328 270 To encryption applies the same as to authentication here. Only receiving and sending modules should come in contact with it.
meillo@246 271
meillo@328 272 In order to avoid code duplicates, the actual implementation of both functionalities should be provided by a central source which gets invoked by the various modules.
meillo@246 273
meillo@246 274
meillo@246 275
meillo@129 276
meillo@184 277
meillo@184 278
meillo@328 279 \subsubsection*{Spam and malware handling}
meillo@184 280
meillo@328 281 The two approaches for spam handling were already presented to the reader in section \ref{}. Here they are described in more detail:
meillo@246 282
meillo@287 283 \begin{enumerate}
meillo@287 284 \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 and reciptient mail addresses would be enough, but as they are forgable it is not. More and more complex checks need to be done. Checking needs time, but \SMTP\ dialogs time out if it takes too long. Thus only limited time can be used, during the \SMTP\ dialog, for checking if a message seems to be spam. The advantage is that acceptance of bad messages can be simply refused---no responsibility for the message is taken and no further system load is added. See \RFC2505 (especially section 1.5) for detail.
meillo@246 285
meillo@328 286 \item Checking for spam after the mail was accepted and queued. Here more processing time can be invested, so more detailed checks can be done. But, as responsibility for messages was taken by accepting them, 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} indicates actions to take after a message is recognized as probably spam \cite[pages 18--20]{eisentraut05}. The only acceptable one, for mail the \MTA\ is responsible for, is adding further or rewriting existent header lines. Thus all further work on the message is the same as for non-spam messages.
meillo@287 287 \end{enumerate}
meillo@246 288
meillo@328 289 Modern \MTA{}s use both techniques in combination. Checks during the \SMTP\ dialog tend to be implemented in the \mta\ to make it 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 essentiell: ``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]{eisentraut05} (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.'')
meillo@246 290
meillo@328 291 Checking before a message is accepted, like \NAME{DNS} blacklists and \name{greylisting}, needs to be invoked from within the receiving modules. Like for authentication and encryption, the implementation of the functionality should be provided by a central source.
meillo@246 292
meillo@328 293 All checking after the message was queued 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@246 294
meillo@246 295
meillo@328 296 Malware scanning is similar like the second type of spam scanning. 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@246 297
meillo@328 298 Providing \SMTP\ in and out channels from the \name{scanning} module to external scanner applications seems to be a desired goal. Using further instances of the already available \name{smtp} and \name{smtpd} modules therefore appears to be the best solution.
meillo@246 299
meillo@246 300
meillo@246 301
meillo@184 302
meillo@184 303
meillo@89 304
meillo@246 305 \subsubsection*{Archiving}
meillo@89 306
meillo@328 307 The best point to archive copies of every incoming mail is the \name{queue-in} module, respectively the \name{queue-out} module for copies outgoing mail. But not respected with this approach are the changes that are made by the receiving modules (adding further headers) and sending modules (address rewrites).
meillo@194 308
meillo@328 309 \qmail\ has the ability to log complete \SMTP\ dialogs. Logging the complete data transaction into and out of the system into a separate log file is a great feature which should be implemented into each receiving and sending module. But as it will produce a huge amount of output, it should be cared to disabled it by default.
meillo@194 310
meillo@194 311
meillo@194 312
meillo@194 313
meillo@89 314
meillo@89 315
meillo@175 316
meillo@326 317
meillo@326 318
meillo@326 319
meillo@326 320
meillo@326 321
meillo@326 322
meillo@246 323
meillo@246 324 \subsection{The resulting architecture}
meillo@246 325
meillo@246 326 The result is a symetric design, featuring the following parts: Any number of handlers for incoming connections to receive mail and pass it to the module that stores it into the incoming queue. A central scanning module take mail from the incoming queue, processes it in various ways and puts it afterwards into the outgoing queue. Another module takes it out there and passes it to a matching transport module that transfers it to the destination. In other words, three main modules (queue-in, scanning, queue-out) are connected by the two queues (incoming, outgoing); on each end are more modules to receive and send mail---for each protocol one. Figure \ref{fig:masqmail-arch-new} depicts the new designed architecture.
meillo@246 327
meillo@246 328 \begin{figure}
meillo@246 329 \begin{center}
meillo@246 330 \includegraphics[width=\textwidth]{img/masqmail-arch-new.eps}
meillo@246 331 \end{center}
meillo@246 332 \caption{A new designed architecture for \masqmail}
meillo@246 333 \label{fig:masqmail-arch-new}
meillo@246 334 \end{figure}
meillo@246 335
meillo@246 336 This architecture is heavily influenced by the ones of \qmail\ and \postfix. Both have different incoming channels that 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. Mail processing, in any way, is build in in a more explicit way than done in the other two. It is more similar to the \NAME{AR} module of \name{sendmail X}, which is the central point for spam checking.
meillo@246 337
meillo@246 338 Special regard was put on addable support for further mail transfer protocols. This appears to be most similar to \qmail, which was designed to handle multiple protocols.
meillo@246 339 %fixme: do i need all this ``quesses''??
meillo@246 340
meillo@246 341
meillo@246 342 \subsubsection*{Modules and queues}
meillo@246 343
meillo@246 344 The new architecture consists of several modules and two queues. They are defined in more detail now, and the jobs, identified above, are assigned to them. First the three main modules, then the queues, and afterwards the modules for incoming and outgoing transfer.
meillo@246 345
meillo@246 346
meillo@246 347 The \name{queue-in} module creates new spool files in the \name{incoming} queue for incoming messages. It is a process running in background, waiting for connections from one of the receiver modules. When one of them requests for a new spool file, the \name{queue-in} module opens one and returns a positive result. The receiver module then sends the envelope and message, which is written into the spool file by \name{queue-in}. If all went well, another positive result is returend.
meillo@246 348 %fixme: should be no daemon
meillo@246 349
meillo@246 350
meillo@246 351 The \name{scanning} module is the central part of the system. It takes spooled messages from the \name{incoming} queue, works on them, and writes them to the \name{outgoing} queue afterwards (the message is then removed from the \name{incoming} queue, of course). The main job is the processing done on 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 can run in background and look for new mail in regular intvals or signals may be sent to it by \name{queue-in}. Alternatively it can be called by \name{cron}, for example, to do single runs.
meillo@246 352
meillo@246 353
meillo@330 354 The \name{queue-out} module takes messages from the \name{outgoing} queue, queries information about the online state which specifies the route to use, creates envelopes for each recipient, and passes the messages to the correct transport module. Successfully transfered messages are removed from the \name{outgoing} queue. This module includes some tasks specific to \masqmail.
meillo@246 355
meillo@246 356
meillo@246 357 The \name{incoming} queue stores messages received via one of the incoming channels. The messages are in unprocessed form; only envelope data is prepended.
meillo@246 358
meillo@246 359
meillo@246 360 The \name{outgoing} queue contains processed messages. The header and envelope information is complete and in valid form.
meillo@246 361
meillo@246 362 \name{Receiver modules} are the communication interface between outside senders and the \name{queue-in} module. Each protocol needs a corresponding \name{receiver module} to be supported. Most popular are the \name{sendmail} module (which is a command to be called from the local host) and the \name{smtpd} module (which listens on port 25). Other modules to support other protocols may be added as needed.
meillo@318 363 %fixme: get invoked by inetd, or better ucspi-tcp (by bernstein) which can limit max number of concurrent connections. and includes tcp-wrappers functionality.
meillo@282 364
meillo@246 365
meillo@330 366 \name{Transport modules}, on the oppersite side of the system, are the modules to send outgoing mail; they are the interface between \name{queue-out} and remote hosts or local commands for further processing. The most popular ones are the \name{smtp} module (which acts as the \SMTP\ client) and the \name{pipe} module (to interface gateways to other systems or networks, like fax or uucp). A module for local delivery is not included, \masqmail\ passes this job to the \NAME{MDA} (see section \ref{sec:functional-requirements} for reasons). Thus a \name{mail delivery agent} (like \name{procmail}) is to be used with the \name{pipe} module.
meillo@246 367
meillo@246 368
meillo@246 369
meillo@246 370 \subsubsection*{Inter-module communication}
meillo@246 371
meillo@330 372 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@246 373
meillo@330 374 The connections between \name{queue-in} and \name{scanning}, aswell as between \name{scanning} and \name{queue-out} is provided by the queues, only sending signals to trigger runs may be useful. Communication between receiving and transport modules and the outside world are done using the specific protocol they do handle.
meillo@246 375
meillo@330 376 Left is only communication between the receiver modules and \name{queue-in}, and between \name{queue-out} and the transport modules. Data is exchanged using \unix\ pipes and a simple protocol. Figure \ref{fig:ipc-protocol} shows a state diagram for the protocol. Solid lines indicate client actions, dashed lines indicate server responses.
meillo@246 377
meillo@246 378 \begin{figure}
meillo@246 379 \begin{center}
meillo@330 380 \includegraphics[scale=0.75]{img/ipc-protocol.eps}
meillo@246 381 \end{center}
meillo@330 382 \caption{State diagram of the \NAME{IPC} protocol}
meillo@246 383 \label{fig:ipc-protocol}
meillo@246 384 \end{figure}
meillo@246 385
meillo@330 386 \paragraph{Timing}
meillo@330 387 One dialog consists of exactly three phases: connection attempt, envelope and header transfer, and 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 error reply. Timeouts for each phase need to be implemented.
meillo@246 388
meillo@330 389 \paragraph{Semantics}
meillo@330 390 The connection attempt is simply opening the connection. This starts the dialog. A positive reply by the server leads to the transfer of envelope and message header. If the server again sends a positive reply, the message data is transferred too. A last server reply ends the dialog.
meillo@246 391
meillo@330 392 The client indicates the end of each data transfer with a special terminator sequence. The appearence of this terminator sequence tells the server process that the data transfer is complete and makes the server send a reply. The server process takes responsibility of 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@246 393
meillo@330 394 \paragraph{Syntax}
meillo@330 395 Data transfer is done by sending plain text data. \name{Line Feed}---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}''). Replys are one-digit numbers with \texttt{0} meaning success and any other number (\texttt{1}--\texttt{9}) indicate failure.
meillo@246 396
meillo@246 397
meillo@246 398
meillo@246 399 \subsubsection*{Spool file format}
meillo@246 400
meillo@246 401 The spool file format is basically the same as the one in current \masqmail: one file for the message body, the other for envelope and header information. The data file is stored in a separate data pool. It is written by \name{queue-in}, \name{scanning} can read it if necessary, \name{queue-out} reads it to generate the outgoing message, and deletes it after successful transfer. The header file (including the envelope) is written into the \name{incoming} queue. The \name{scanning} modules reads it, processes it, and writes a modified copy into the \name{outgoing} queue; the file in \name{incoming} is deleted then. \name{queue-out} finally takes the header file from \name{outgoing} to generate the resulting message. This data flow is shown in figure \ref{fig:queue-data-flow}.
meillo@246 402
meillo@246 403 \begin{figure}
meillo@246 404 \begin{center}
meillo@273 405 %\input{img/queue-data-flow.eps}
meillo@246 406 \end{center}
meillo@246 407 \caption{Data flow of messages in the queue}
meillo@246 408 \label{fig:queue-data-flow}
meillo@246 409 \end{figure}
meillo@246 410
meillo@246 411 The queue consists of three directories within the queue path. Two, named \name{incoming} and \name{outgoing}, for storing the header files; one, called \name{pool}, to store the message bodies. The files being part of one message share the same unique name. The header files internal structure can be the same as the one of current \masqmail.
meillo@246 412
meillo@246 413 Messages in queues are a header file in \name{incoming} or \name{outgoing} and a data file in \name{pool}. The header file owner's executable bit indicates if the 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 with the bit set.
meillo@246 414
meillo@246 415 No spool files are modified after they are written to disk. Modifications to header files can be made by the \name{scanning} module in the ``move'' from \name{incoming} to \name{outgoing}---it is a create and remove, actually. Further rewriting can happen in \name{queue-out}, as well without altering the file.
meillo@246 416
meillo@246 417 Data files do not change at all within the system. They are written in default local plain text format. Required translation is done in the receiver and transport modules.
meillo@249 418 %fixme: why plain text and not db? -> simplicity
meillo@246 419
meillo@249 420 Mark spooled mail messages when processing of the writing module is finished: Either by setting the executable bit (like \postfix\ does), or by changing the owner (an approach for multiple masqmail users).
meillo@246 421
meillo@246 422
meillo@249 423 A sample header file. With comments in paranthesis.
meillo@246 424
meillo@261 425 \begin{quote}\footnotesize
meillo@246 426 \begin{verbatim}
meillo@246 427 1LGtYh-0ut-00 (backup copy of the file name)
meillo@246 428 MF:<meillo@dream> (envelope: sender)
meillo@246 429 RT: <user@example.org> (envelope: recipient)
meillo@246 430 PR:local (meta info: protocol)
meillo@246 431 ID:meillo (meta info: id/user/ip)
meillo@246 432 DS: 18 (meta info: size)
meillo@246 433 TR: 1230462707 (meta info: timestamp)
meillo@246 434 (following: headers)
meillo@246 435 HD:Received: from meillo by dream with local (masqmail 0.2.21) id
meillo@246 436 1LGtYh-0ut-00 for <user@example.org>; Sun, 28 Dec 2008 12:11:47 +0100
meillo@246 437 HD:To: user@example.org
meillo@246 438 HD:Subject: test mail
meillo@246 439 HD:From: <meillo@dream>
meillo@246 440 HD:Date: Sun, 28 Dec 2008 12:11:47 +0100
meillo@246 441 HD:Message-ID: <1LGtYh-0ut-00@dream>
meillo@246 442 \end{verbatim}
meillo@261 443 \end{quote}
meillo@246 444
meillo@246 445
meillo@246 446
meillo@246 447
meillo@246 448 \subsubsection*{Rights and permission}
meillo@246 449
meillo@246 450 The user set required for \qmail\ seems to be too complex. One special user, like \postfix\ uses, is more appropriate. \name{root} privilege and \name{setuid} permission is avoided as much as possible.
meillo@246 451
meillo@273 452 Table \ref{tab:new-masqmail-permissions} shows the suggested ownership and permissions of the modules.
meillo@246 453
meillo@246 454 \begin{table}
meillo@246 455 \begin{center}
meillo@271 456 \input{tbl/new-masqmail-permissions.tbl}
meillo@246 457 \end{center}
meillo@246 458 \caption{Ownership and permissions of the modules}
meillo@246 459 \label{tab:new-masqmail-permission}
meillo@246 460 \end{table}
meillo@246 461
meillo@273 462 These are the permissions and ownership used for the queue:
meillo@273 463 \codeinput{input/new-masqmail-queue.txt}
meillo@246 464
meillo@246 465
meillo@246 466
meillo@246 467
meillo@246 468
meillo@246 469 setuid/setgid or not?
meillo@246 470
meillo@246 471 what can crash if an attacker succeeds?
meillo@246 472
meillo@246 473 where to drop privelege?
meillo@246 474
meillo@246 475 how is which process invoked?
meillo@246 476
meillo@246 477 master process? needed, or wanted?
meillo@246 478
meillo@246 479 which are the daemon processes?
meillo@246 480
meillo@246 481
meillo@246 482
meillo@246 483
meillo@246 484
meillo@246 485
meillo@246 486
meillo@246 487 http://fanf.livejournal.com/50917.html %how not to design an mta - the sendmail command
meillo@246 488 http://fanf.livejournal.com/51349.html %how not to design an mta - partitioning for security
meillo@246 489 http://fanf.livejournal.com/61132.html %how not to design an mta - local delivery
meillo@246 490 http://fanf.livejournal.com/64941.html %how not to design an mta - spool file format
meillo@246 491 http://fanf.livejournal.com/65203.html %how not to design an mta - spool file logistics
meillo@246 492 http://fanf.livejournal.com/65911.html %how not to design an mta - more about log-structured MTA queues
meillo@246 493 http://fanf.livejournal.com/67297.html %how not to design an mta - more log-structured MTA queues
meillo@246 494 http://fanf.livejournal.com/70432.html %how not to design an mta - address verification
meillo@246 495 http://fanf.livejournal.com/72258.html %how not to design an mta - content scanning
meillo@246 496
meillo@246 497
meillo@246 498