annotate thesis/tex/6-NewDesign.tex @ 230:35b0dfefd2c4

new pic
author meillo@marmaro.de
date Sat, 10 Jan 2009 00:27:06 +0100
parents 6d21f55323b8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
197
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
1 \chapter{A design from scratch}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
2
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
3 The last sections identified the jobs that need to be done by a modern \MTA; problems and prefered choices were mentioned too. Now the various jobs are assigned to modules, of which an architecture is created. It is inpired by existing ones and driven by the identified jobs and requirements.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
4
211
f2b8481789f6 better diagrams and other small changes
meillo@marmaro.de
parents: 197
diff changeset
5 ``Many times in life, getting off to the right start makes all the difference.'' \cite[page~32]{graff03}
197
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
6
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
7
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
8
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
9 \section{Design decisions}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
10
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
11 One major design idea of the design were:
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
12 \begin{itemize}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
13 \item free the internal system from in and out channels
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
14 \item arbitrary protocol handlers have to be addable afterwards
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
15 \item a single facility for scanning (all mail goes through it)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
16 \item concentrate on mail transfer
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
17 \end{itemize}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
18
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
19
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
20 \subsubsection*{Incoming channels}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
21
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
22 \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 therefor 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
23
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
24 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 second door?
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
25 \person{fanf} 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 to put 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
26
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
27 But merging the input channels in the \SMTP\ daemon makes the \MTA\ heavily dependent on \SMTP\ being the main mail transfer protocol. 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 is it better to have more independent modules if each one is simpler then.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
28
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
29 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
30
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
31
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
32 \subsubsection*{Outgoing channels}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
33
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
34 Outgoing mail is commonly either sent using \SMTP, piped into local commands (for example \texttt{uucp}), or delivered locally by appending to a mailbox.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
35
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
36 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 priveledge 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
37
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
38 As mail delivery to local users, is \emph{not} included in the basic job of an \MTA{}, why should it care about it? In order to keep the system simple and to have programs that do one job well, the local delivery job should be handed over to a specialist: the \name{mail delivery agent}. \NAME{MDA}s know about the various mailbox formats and are aware of the problems of concurrent write access and thelike. Hence handling the message and the responsiblity over to a \NAME{MDA}, like \name{procmail} or \name{maildrop}, seems to be the right way to go.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
39
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
40 This means an outgoing connection that pipes mail into local commands is required. Other outgoing channels, one for each supportet protocol, may be designed like it was done in other \MTA{}s.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
41
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
42
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
43
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
44 \subsubsection*{Mail queue}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
45
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
46 Mail queues are probably used in all \mta{}s, excluding the simple forwarders. A mail queue is a essential requirement for \masqmail, as it is to be used for non-permanent online connections. This means, mail must be queued until a online connection is available to send the message.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
47
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
48 The mail queue and the module to manage it are the central part of the whole system. This demands especially for robustness and reliability, as a failure here can lead to loosing mail. An \MTA\ takes over responsibility for mail in accepting it, hence loosing mail messages is absolutely to avoid. This covers any kind of crash situation too. The worst thing acceptable to happen is a mail to be sent twice.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
49
221
6d21f55323b8 minor change
meillo@marmaro.de
parents: 211
diff changeset
50 \sendmail, \exim, \qmail, \name{sendmail X}, and \masqmail\ feature one single mail queue. \postfix\ has more of them.
197
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
51
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
52 \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, running. \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}.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
53
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
54 \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} takes yet another different approach in suggesting to store the whole queue in one single file with pointers to separating positions \cite{finchFIXME}.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
55 %fixme: check, cite, and think about
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
56
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
57
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
58
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
59 \subsubsection*{Sanitize mail}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
60
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
61 Mail coming into the system often lacks important header lines. At least the required ones must be added from the \MTA. A good example is the \texttt{Message-Id:} header.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
62
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
63 In \postfix, this is done by the \name{cleanup} module, which invokes \name{rewrite}. The position in the message flow is after coming from one of the several incoming channels and before the message is stored into the \name{incoming} queue. Modules that handle incoming channels may also add headers, for example the \texttt{From:} and \texttt{Date:} headers. \name{cleanup}, however, does a complete check to make the mail header complete and valid.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
64
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
65 Apart from deciding where to sanitize the mail header, is the question where to generate the envelope. The envelope specifies the actual recipient of the mail, no matter what the \texttt{To:}, \texttt{Cc:}, and \texttt{Bcc:} headers tell. Multiple reciptients lead to multiple different envelopes, containing all the same mail message.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
66
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
67
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
68
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
69 \subsubsection*{Aliasing}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
70
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
71 Where should aliases get expanded? They appear in different kind. Important are the ones available in the \path{aliases} file. Aliases can be:
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
72 \begin{itemize}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
73 \item a different local user (e.g.\ ``\texttt{bob: alice}'')
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
74 \item a remote user (e.g.\ ``\texttt{bob: john@example.com}'')
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
75 \item a list of users (e.g.\ ``\texttt{bob: alice, john@example.com}'')
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
76 \item a command (e.g.\ ``\texttt{bob: |foo}'')
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
77 \end{itemize}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
78 Addresses expanding to lists of users lead to more envelopes. Aliases changing the reciptients domain part may require a different route to use.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
79
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
80 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
81
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
82
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
83
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
84 \subsubsection*{Choose route to use}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
85
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
86 One key feature of \masqmail\ is its ability to send mail out in different ways. The decision is based on the current online state and whether a route may be used for a message or not. The online state can be retrieved in tree ways, explained in \ref{sec:fixme}. A route to send is found by checking every available route for being able to transfer the current message, until one matches.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
87
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
88 This functionality should be implemented in the module that is responsible to invoke one of the outgoing channel modules (for example the one for \SMTP\ or the pipe module).
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
89
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
90 \masqmail\ can rewrite the envelope's from address and the \texttt{From:} header, dependent on the outgoing route to use. This rewrite must be done \emph{after} it is clear which route a mail will take, of course, so this may be not the module where other header editing is done.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
91 %fixme: see hafiz05 page 57: maybe put the rewriting into the sending module (like smx, exim, courier) (problem with archiving of all outgoing mail?)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
92
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
93
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
94
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
95 \subsubsection*{Authentication}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
96
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
97 One thing to avoid is being an \name{open relay}. Open relays allow to relay mail from everywhere to everywhere. This is a major source of spam. The solution is restricting relay\footnote{Relaying is passing mail, that is not from and not for the own system, through it.} access.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
98
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
99 Several ways to restrict access are available. The most simple one is restrictiction by the \NAME{IP} address. No extra complexity is added this way, but static \NAME{IP} addresses are mandatory. This kind of restriction may be enabled using the operating system's \path{hosts.allow} and \path{hosts.deny} files. To allow only connections to port 25 from localhost or the local network \texttt{192.168.100.0/24} insert the line ``\texttt{25: ALL}'' into \path{hosts.deny} and ``\texttt{25: 127.0.0.1, 192.168.100.}'' into \path{hosts.allow}.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
100
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
101 If static access restriction is not possible, for example if mail from locations with changing \NAME{IP} addresses wants to be accepted, some kind of authentication mechanism is required. Three common kinds exist:
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
102 \begin{enumerate}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
103 \item \SMTP-after-\NAME{POP}: uses authenication on the \NAME{POP} protocol to permit incoming \SMTP\ connections for a limited time afterwards.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
104 \item \SMTP authentication: is an extension to \SMTP. Authentication can be requested before mail is accepted.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
105 \item Certificates: confirm the identity of someone.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
106 \end{enumerate}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
107
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
108
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
109
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
110 \subsubsection*{Encryption}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
111
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
112 Electronic mail is very weak to sniffing attacks, because all data transfer is unencrypted. This concerns the message's content, as well as the email addresses in header and envelope, but also authentication dialogs that may transfer plain text passwords (\NAME{PLAIN} and \NAME{LOGIN} are examples). Adding encryption is therefor wanted.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
113
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
114 The common way to encrypt \SMTP\ dialogs is using \name{Transport Layer Security} (short: \TLS, successor of \NAME{SSL}). \TLS\ encrypts the datagrams of the \name{transport layer}. This means it works below the application protocols and can be used by any of them\citeweb{wikipedia:tls}.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
115
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
116 \TLS\ allows to create secure tunnels through which arbitrary programs can communicate. Hence one can add secure communication afterwards to programs without changing them. \name{OpenSSL} for example---a free implementation---allows traffic to be piped into a command; a secure tunnel is created and the traffic is forwarded through it. Or a secure tunnel can be set up between a local and a remote port; this tunnel can then be used by any application.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
117
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
118 The \NAME{POP} protocol, for example, is good suited for such tunneling, but \SMTP\ is is not generally. Outgoing \SMTP\ client connections can be tunneled without problem---\masqmail\ already provides a configure option called \texttt{wrapper} to do so. Tunneling incomming connections to a server leads to problems with \SMTP. As data comes encrypted through the tunnel to the receiving host and gets then decrypted and forwarded on local to the port the application listens on. From the \MTA's view, this makes all connections appear to come from localhost, unfortunately. Figure \ref{fig:stunnel} depicts the data flow.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
119
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
120 For incoming connections, \NAME{STARTTLS}---defined in \RFC2487---is what \mta{}s implement.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
121
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
122 \masqmail\ is already able to encrypt outgoing connections, but encryption of incoming connections, using \NAME{STARTTLS} should be implemented. This only affects the \SMTP\ server module.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
123
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
124
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
125
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
126
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
127
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
128 \subsubsection*{Spam prevention}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
129
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
130 ---
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
131 Spam is a major threat nowadays and the goal is to reduce it to a bearable level (see section \ref{sec:swot-analysis}). Spam fighting is a war are where the good guys tend to lose. Putting too much effort there will result in few gain. Real success will only be possible with new---better---protocols and abandonning the weak legacy technologies. Hence \masqmail\ should be able to provide state-of-the-art spam protection, but not more.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
132 ---
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
133
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
134 Spam is a major threat to email, as described in section \ref{sec:swot-analysis}. The two main problems are forgable sender addresses and that it is cheap to send hundreds of thousands of messages. Hence, spam senders can operate in disguise and have minimal cost.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
135
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
136 As spam is not just a nuisance for end users, but also for the infrastructure---the \mta{}s---by increasing the amount of mail messages, \MTA{}s need to protect themself. Two approaches are used.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
137
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
138 First 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 takes and no further system load is added. See \RFC2505 (especially section 1.5) for detail.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
139
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
140 Second 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
141
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
142 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ährend der SMTP-Phase kommt sowieso kein MTA aus, und es ist eine Frage der Einschätzung, wie weit man diese Phase belasten möchte.''\cite[page 25]{eisentraut05} (translated: ``No \MTA\ can go without analysis during the \SMTP\ dialog, anyway, and it is a question of estimation how much to stress this period.'')
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
143
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
144 \NAME{DNS} blacklists (short: \NAME{DNSBL}) and \name{greylisting} are checks to be done before accepting the message. Invoking \name{spamassassin}, to add headers containing the estimated spam probability, is best to be invoked after the message is queued.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
145
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
146
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
147
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
148
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
149 \subsubsection*{Virus checking}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
150
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
151 Related to spam is malicous content (short: \name{malware}) like viruses, worms, trojan horses. They, in contrast to spam, do not affect the \MTA\ itself, as they are in the mail body. The same situation in the real world is post offices opening letters to check if they contain something that could harm the recipient. This is not a mail transport concern. Apart of not being the right program to do the job, the \MTA\---the one which is responsible for the recipient---is at a good position to do this work.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
152
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
153 In any way should malware checking be done by external programs that may be invoked by the \mta. But using mail deliver and processing agents, like \name{procmail}, seem to be better suited locations to invoke content scanners.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
154
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
155 A popular email filter framework is \name{amavis} which integrates various spam and virus scanners. The common setup includes a receiving \MTA\ which sends it to \name{amavis} using \SMTP, \name{amavis} processes the mail and sends it then to a second \MTA\ that does the outgoing transfer. \postfix\ and \exim\ can be configured so that one instance can work as both, the \MTA\ for incoming and outgoing transfer. A setup with \sendmail\ needs two separate instances running. It must be quarateed that all mail flows through the scanner.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
156
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
157 A future \masqmail\ would do good to have a single point, where all traffic flows through, that is able to invoke external programs to do mail processing of any kind.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
158
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
159
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
160 %AMaViS (amavisd-new): email filter framework to integrate spam and virus scanner
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
161 %\begin{verbatim}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
162 %internet -->25 MTA -->10024 amavis -->10025 MTA --> reciptient
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
163 %| |
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
164 %+----------------------------+
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
165 %\end{verbatim}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
166 %
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
167 %postfix and exim can habe both mta servises in the same instance, sendmail needs two instances running.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
168 %
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
169 %MailScanner:
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
170 %incoming queue --> MailScanner --> outgoing queue
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
171 %
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
172 %postfix: with one instance possible, exim and sendmail need two instances running
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
173
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
174
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
175 %message body <-> envelope, header
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
176 %
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
177 %anti-virus: clamav
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
178 %postfix: via amavis
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
179 %exim: via content-scanning-feature called from acl
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
180 %sendmail: with milter
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
181 %procmail
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
182 %
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
183 %virus scanner work on file level
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
184 %amavis receives mail via smtp or pipe, splits it in its parts (MIME) and extracks archives, the come the virus scanners
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
185 %if the mail is okay, it goes via smtp to a second mta
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
186
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
187 %what amavis recognizes:
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
188 %- invalid headers
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
189 %- banned files
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
190 %- viruses
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
191 %- spam (using spam assassin)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
192 %
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
193 %mimedefang: uses milter interface with sendmail
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
194
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
195
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
196
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
197 \subsubsection*{Archiving}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
198
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
199 Mail archiving and auditability become more important as electronic mail becomes more important. Ability to archive verbatim copies of every mail coming into and every mail going out of the system, with relation between them, appears to be a goal to achieve.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
200
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
201 \postfix\ for example has a \texttt{always\_bcc} feature, to send a copy of every mail to a definable reciptient. At least this funtionality should be given, although a more complete approach is preferable.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
202
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
203
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
204
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
205
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
206
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
207 \section{The resulting architecture}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
208
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
209 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
210
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
211 \begin{figure}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
212 \begin{center}
211
f2b8481789f6 better diagrams and other small changes
meillo@marmaro.de
parents: 197
diff changeset
213 \includegraphics[width=\textwidth]{img/masqmail-arch-new.eps}
197
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
214 \end{center}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
215 \caption{A new designed architecture for \masqmail}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
216 \label{fig:masqmail-arch-new}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
217 \end{figure}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
218
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
219 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
220
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
221 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
222 %fixme: do i need all this ``quesses''??
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
223
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
224
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
225 \subsection{Modules and queues}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
226
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
227 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
228
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
229
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
230 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
231 %fixme: should be no daemon
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
232
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
233
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
234 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
235
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
236
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
237 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
238
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
239
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
240 The \name{incoming} queue stores messages received via one of the incoming channels. The messages are in unprocessed form; only envelope data is prepended.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
241
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
242
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
243 The \name{outgoing} queue contains processed messages. The header and envelope information is complete and in valid form.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
244
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
245 \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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
246
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
247 \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
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
248 Thus a \name{mail delivery agent} (like \name{procmail}) is to be used with the \name{pipe} module.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
249
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
250
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
251
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
252 \subsection{Inter-module communication}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
253
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
254 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
255
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
256 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
257
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
258 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
259
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
260 \begin{figure}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
261 \begin{center}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
262 \input{input/ipc-protocol.tex}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
263 \end{center}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
264 \caption{State diagram of the protocol used for \NAME{IPC}}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
265 \label{fig:ipc-protocol}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
266 \end{figure}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
267
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
268 % timing
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
269 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
270 %fixme: split between header and data
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
271
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
272 % semantics
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
273 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
274
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
275 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
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
276 %fixme: split between header and data
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
277
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
278 % syntax
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
279 Data transfer is done sending plain text data. %fixme: utf8 ?
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
280 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?
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
281 %fixme: split between header and data
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
282
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
283 Figure \ref{fig:ipc-protocol} is a state diagram for the protocol.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
284
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
285
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
286
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
287 \subsection{Spool file format}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
288
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
289 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}.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
290
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
291 \begin{figure}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
292 \begin{center}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
293 \input{input/queue-data-flow.tex}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
294 \end{center}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
295 \caption{Data flow of messages in the queue}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
296 \label{fig:queue-data-flow}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
297 \end{figure}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
298
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
299 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
300
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
301 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
302
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
303 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
304
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
305 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
306
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
307
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
308 \begin{tabular}[hbt]{ l l }
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
309
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
310 \mbox{ queue-in:} & \mbox{
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
311 \begin{tabular}[hbt]{| c | c | c |}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
312 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
313 incoming & outgoing & pool \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
314 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
315 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
316 - & - & - \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
317 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
318 0600 & - & - \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
319 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
320 0600 & - & 0600 \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
321 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
322 0700 & - & 0600 \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
323 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
324 \end{tabular}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
325 } \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
326
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
327 \quad & \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
328
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
329 \mbox{scanning:} & \mbox{
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
330 \begin{tabular}[hbt]{| c | c | c |}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
331 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
332 incoming & outgoing & pool \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
333 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
334 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
335 0700 & - & 0600 \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
336 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
337 0700 & 0600 & 0600 \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
338 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
339 0700 & 0700 & 0600 \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
340 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
341 - & 0700 & 0600 \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
342 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
343 \end{tabular}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
344 } \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
345
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
346 \quad & \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
347
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
348 \mbox{queue-out:} & \mbox{
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
349 \begin{tabular}[hbt]{| c | c | c |}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
350 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
351 incoming & outgoing & pool \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
352 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
353 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
354 - & 0700 & 0600 \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
355 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
356 - & 0700 & - \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
357 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
358 - & - & - \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
359 \hline
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
360 \end{tabular}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
361 } \\
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
362
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
363 \end{tabular}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
364
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
365 A sample header file.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
366 \begin{verbatim}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
367 1LGtYh-0ut-00 (backup copy of the file name)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
368 MF:<meillo@dream> (envelope: sender)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
369 RT: <user@example.org> (envelope: recipient)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
370 PR:local (meta info: protocol)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
371 ID:meillo (meta info: id/user/ip)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
372 DS: 18 (meta info: size)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
373 TR: 1230462707 (meta info: timestamp)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
374 (following: headers)
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
375 HD:Received: from meillo by dream with local (masqmail 0.2.21) id
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
376 1LGtYh-0ut-00 for <user@example.org>; Sun, 28 Dec 2008 12:11:47 +0100
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
377 HD:To: user@example.org
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
378 HD:Subject: test mail
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
379 HD:From: <meillo@dream>
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
380 HD:Date: Sun, 28 Dec 2008 12:11:47 +0100
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
381 HD:Message-ID: <1LGtYh-0ut-00@dream>
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
382 \end{verbatim}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
383
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
384
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
385
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
386
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
387 \subsection{Rights and permission}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
388
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
389 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.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
390
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
391 Table \ref{tab:new-masqmail-permissions} shows the suggested ownership and permissions of the modules. Figure \ref{fig:new-masqmail-queue} shows the permissions and ownership used for the queue.
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
392
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
393 \begin{table}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
394 \begin{center}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
395 \input{input/new-masqmail-permissions.tex}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
396 \end{center}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
397 \caption{Ownership and permissions of the modules}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
398 \label{tab:new-masqmail-permission}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
399 \end{table}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
400
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
401 \begin{figure}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
402 \begin{center}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
403 \input{input/new-masqmail-queue.tex}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
404 \end{center}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
405 \caption{Ownership and permissions of the queue}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
406 \label{fig:new-masqmail-queue}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
407 \end{figure}
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
408
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
409
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
410
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
411
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
412
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
413 setuid/setgid or not?
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
414
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
415 what can crash if an attacker succeeds?
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
416
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
417 where to drop privelege?
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
418
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
419 how is which process invoked?
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
420
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
421 master process? needed, or wanted?
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
422
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
423 which are the daemon processes?
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
424
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
425
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
426
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
427
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
428
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
429
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
430
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
431 http://fanf.livejournal.com/50917.html %how not to design an mta - the sendmail command
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
432 http://fanf.livejournal.com/51349.html %how not to design an mta - partitioning for security
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
433 http://fanf.livejournal.com/61132.html %how not to design an mta - local delivery
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
434 http://fanf.livejournal.com/64941.html %how not to design an mta - spool file format
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
435 http://fanf.livejournal.com/65203.html %how not to design an mta - spool file logistics
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
436 http://fanf.livejournal.com/65911.html %how not to design an mta - more about log-structured MTA queues
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
437 http://fanf.livejournal.com/67297.html %how not to design an mta - more log-structured MTA queues
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
438 http://fanf.livejournal.com/70432.html %how not to design an mta - address verification
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
439 http://fanf.livejournal.com/72258.html %how not to design an mta - content scanning
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
440
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
441
b08be036783d moved new design to chapter of its own
meillo@marmaro.de
parents:
diff changeset
442