docs/diploma

annotate thesis/tex/5-Improvements.tex @ 328:2b1da14922f7

reworked section about design decisions and here and there further bits
author meillo@marmaro.de
date Fri, 23 Jan 2009 18:40:12 +0100
parents 802635628c92
children 0e8c19c4b6ba
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@246 354 The \name{queue-out} module takes messages from the \name{outgoing} queue, queries information about the online connection, and then selects matching routes, 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@287 355 %fixme: rework route selection
meillo@246 356
meillo@246 357
meillo@246 358 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 359
meillo@246 360
meillo@246 361 The \name{outgoing} queue contains processed messages. The header and envelope information is complete and in valid form.
meillo@246 362
meillo@246 363 \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 364 %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 365
meillo@246 366
meillo@246 367 \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, as it is in most other \MTA{}s; the reasons are described in FIXME.%fixme
meillo@246 368 Thus a \name{mail delivery agent} (like \name{procmail}) is to be used with the \name{pipe} module.
meillo@246 369
meillo@246 370
meillo@246 371
meillo@246 372 \subsubsection*{Inter-module communication}
meillo@246 373
meillo@246 374 Communication between modules is required to exchange data and status information. It is also called ``Inter-process communication'' (short: \NAME{IPC}), as modules are programs being part of a larger system, and processes are generally seen as programs in execution.
meillo@246 375
meillo@246 376 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 instant 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 377
meillo@246 378 Left is only communication between the receiver modules and \name{queue-in}, and between \name{queue-out} and the transport modules. Data is exchanged done using \unix\ pipes and a simple protocol is used.
meillo@246 379
meillo@246 380 \begin{figure}
meillo@246 381 \begin{center}
meillo@273 382 \codeinput{input/ipc-protocol.txt}
meillo@273 383 %\includegraphics[scale=0.75]{img/ipc-protocol.eps}
meillo@246 384 \end{center}
meillo@246 385 \caption{State diagram of the protocol used for \NAME{IPC}}
meillo@246 386 \label{fig:ipc-protocol}
meillo@246 387 \end{figure}
meillo@246 388
meillo@246 389 % timing
meillo@246 390 One dialog consists of the four phases: connection attempt, acceptance reply, data transfer, success reply. The order is always the same. The connection attempt and data transfer are sent by the client process; replies are sent by the server process.
meillo@246 391 %fixme: split between header and data
meillo@246 392
meillo@246 393 % semantics
meillo@246 394 The connection attempt is simply opening the connection. This starts the dialog. A positive reply by the server leads to the data transfer, but a negative reply refuses the connection and resets both client and server to the state before the connection attempt. If the connection attempt was accepted, the client sends the data ending with a terminator sequence. When this terminator appears, the server process knows the complete data was transfered. The server process takes responsibility of the data in sending a positive success reply. A negative success reply resets both client and server to the state before the connection attempt.
meillo@246 395
meillo@246 396 The data transfered needs to be of specific format. Used is the same format in which messages are spooled in the mail queues. See the following section for details. %fixme: check if it is the following section
meillo@246 397 %fixme: split between header and data
meillo@246 398
meillo@246 399 % syntax
meillo@246 400 Data transfer is done sending plain text data. %fixme: utf8 ?
meillo@246 401 The terminator sequence used to indicate the end of the data transfer is a single dot on a line on its own. Line separators are the combination of \name{Carriage Return} and \name{Line Feed}, as it is used in various Internet protocols like \SMTP. Replys are one-digit numbers with \texttt{0} meaning success and any other number (\texttt{1}--\texttt{9}) indicate failure. %fixme: What are the octal values?
meillo@246 402 %fixme: split between header and data
meillo@246 403
meillo@246 404 Figure \ref{fig:ipc-protocol} is a state diagram for the protocol.
meillo@246 405
meillo@246 406
meillo@246 407
meillo@246 408 \subsubsection*{Spool file format}
meillo@246 409
meillo@246 410 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 411
meillo@246 412 \begin{figure}
meillo@246 413 \begin{center}
meillo@273 414 %\input{img/queue-data-flow.eps}
meillo@246 415 \end{center}
meillo@246 416 \caption{Data flow of messages in the queue}
meillo@246 417 \label{fig:queue-data-flow}
meillo@246 418 \end{figure}
meillo@246 419
meillo@246 420 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 421
meillo@246 422 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 423
meillo@246 424 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 425
meillo@246 426 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 427 %fixme: why plain text and not db? -> simplicity
meillo@246 428
meillo@249 429 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 430
meillo@246 431
meillo@249 432 A sample header file. With comments in paranthesis.
meillo@246 433
meillo@261 434 \begin{quote}\footnotesize
meillo@246 435 \begin{verbatim}
meillo@246 436 1LGtYh-0ut-00 (backup copy of the file name)
meillo@246 437 MF:<meillo@dream> (envelope: sender)
meillo@246 438 RT: <user@example.org> (envelope: recipient)
meillo@246 439 PR:local (meta info: protocol)
meillo@246 440 ID:meillo (meta info: id/user/ip)
meillo@246 441 DS: 18 (meta info: size)
meillo@246 442 TR: 1230462707 (meta info: timestamp)
meillo@246 443 (following: headers)
meillo@246 444 HD:Received: from meillo by dream with local (masqmail 0.2.21) id
meillo@246 445 1LGtYh-0ut-00 for <user@example.org>; Sun, 28 Dec 2008 12:11:47 +0100
meillo@246 446 HD:To: user@example.org
meillo@246 447 HD:Subject: test mail
meillo@246 448 HD:From: <meillo@dream>
meillo@246 449 HD:Date: Sun, 28 Dec 2008 12:11:47 +0100
meillo@246 450 HD:Message-ID: <1LGtYh-0ut-00@dream>
meillo@246 451 \end{verbatim}
meillo@261 452 \end{quote}
meillo@246 453
meillo@246 454
meillo@246 455
meillo@246 456
meillo@246 457 \subsubsection*{Rights and permission}
meillo@246 458
meillo@246 459 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 460
meillo@273 461 Table \ref{tab:new-masqmail-permissions} shows the suggested ownership and permissions of the modules.
meillo@246 462
meillo@246 463 \begin{table}
meillo@246 464 \begin{center}
meillo@271 465 \input{tbl/new-masqmail-permissions.tbl}
meillo@246 466 \end{center}
meillo@246 467 \caption{Ownership and permissions of the modules}
meillo@246 468 \label{tab:new-masqmail-permission}
meillo@246 469 \end{table}
meillo@246 470
meillo@273 471 These are the permissions and ownership used for the queue:
meillo@273 472 \codeinput{input/new-masqmail-queue.txt}
meillo@246 473
meillo@246 474
meillo@246 475
meillo@246 476
meillo@246 477
meillo@246 478 setuid/setgid or not?
meillo@246 479
meillo@246 480 what can crash if an attacker succeeds?
meillo@246 481
meillo@246 482 where to drop privelege?
meillo@246 483
meillo@246 484 how is which process invoked?
meillo@246 485
meillo@246 486 master process? needed, or wanted?
meillo@246 487
meillo@246 488 which are the daemon processes?
meillo@246 489
meillo@246 490
meillo@246 491
meillo@246 492
meillo@246 493
meillo@246 494
meillo@246 495
meillo@246 496 http://fanf.livejournal.com/50917.html %how not to design an mta - the sendmail command
meillo@246 497 http://fanf.livejournal.com/51349.html %how not to design an mta - partitioning for security
meillo@246 498 http://fanf.livejournal.com/61132.html %how not to design an mta - local delivery
meillo@246 499 http://fanf.livejournal.com/64941.html %how not to design an mta - spool file format
meillo@246 500 http://fanf.livejournal.com/65203.html %how not to design an mta - spool file logistics
meillo@246 501 http://fanf.livejournal.com/65911.html %how not to design an mta - more about log-structured MTA queues
meillo@246 502 http://fanf.livejournal.com/67297.html %how not to design an mta - more log-structured MTA queues
meillo@246 503 http://fanf.livejournal.com/70432.html %how not to design an mta - address verification
meillo@246 504 http://fanf.livejournal.com/72258.html %how not to design an mta - content scanning
meillo@246 505
meillo@246 506
meillo@246 507