Mercurial > docs > diploma
annotate thesis/tex/4-MasqmailsFuture.tex @ 402:e57129f57faa
finished the indexing in a huge last effort
| author | meillo@marmaro.de |
|---|---|
| date | Sun, 08 Feb 2009 22:51:42 +0100 |
| parents | 5254a119ad56 |
| children | f0fa40e30dfb |
| rev | line source |
|---|---|
| 109 | 1 \chapter{\masqmail's present and future} |
| 339 | 2 \label{chap:present-and-future} |
|
93
a6f8a93abd64
new chapter 4 (split ch5); added lots of annotations
meillo@marmaro.de
parents:
diff
changeset
|
3 |
| 381 | 4 This chapter identifies requirements for \masqmail. They are compared against the current code to see what is already fulfilled and what is missing. Then the outstanding work is ordered by relevance and are presented in a list of pending work tasks. The end of this chapter is the evaluation of the best development strategy to get the work done in order to achieve the requirements. |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
5 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
6 |
|
267
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
7 \section{The goal} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
8 \index{development!goal} |
| 256 | 9 |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
10 Before requirements can be identified and further development can be discussed, it is important to clearly specify the goal to achieve. This means: What shall \masqmail\ be like in, for instance, five years? |
| 391 | 11 \index{masqmail!in five years} |
| 256 | 12 |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
13 Should \masqmail\ become more specific to a more narrow niche or rather become more general and move a bit out of its niche? Or should it even become a totally general \MTA\ like \sendmail, \exim, \qmail, and \postfix? |
| 256 | 14 |
| 381 | 15 Becoming completely general seems to be no choice because the competitors are too many and they are already too strong. It would require a strong base of developers and superior features to establish. There also seems to be no need for another general purpose \MTA\ additional to those four programs. Thus the effort would most likely remain a try. \person{Venema} stated: ``It is becoming less and less likely that someone will write another full-featured Postfix or Sendmail \MTA\ \emph{from scratch} (100 kloc).'' \cite{venema:postfix-growth}. At least \masqmail\ is not going to try that. |
| 391 | 16 \index{postfix!no second postfix} |
| 256 | 17 |
| 381 | 18 \masqmail\ was intended to be a small ``real'' \MTA\ which covers the niche of managing the relay over several smart hosts. Small and resource friendly software is still important for workstations, home servers, and especially for embedded computers. Other software that focuses on the same niche is not known. Dial-up connections have become rare but mobile computers that move between different networks are popular. So, the niche is still present. |
| 256 | 19 |
| 381 | 20 What has changed in general is the security that is needed for software. \person{Graff} and \person{van Wyk} describe the situation well: ``[I]n today's world, your software is likely to have to operate in a very hostile security environment.'' \cite[page~33]{graff03}. Additionally they say: ``By definition, mail software processes information from potentially untrusted sources. Therefore, mail software must be written with great care, even when it runs with user privileges and even when it does not talk directly to a network.'' \cite[page~90]{graff03}. As \masqmail\ is mail software and trusted environments become rare, it is best for \masqmail\ to become a secure \MTA. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
21 \index{untrusted environment} |
| 391 | 22 \index{security} |
| 256 | 23 |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
24 In summary, the goal for \masqmail\ is to stay in the current niche with respect to modern usage scenarios and to become a secure \MTA. |
| 256 | 25 |
| 26 | |
| 27 | |
| 132 | 28 |
| 29 | |
| 30 | |
| 177 | 31 \section{Requirements} |
| 219 | 32 \label{sec:mta-requirements} |
|
146
2c4673d983c3
wrote about requirements (related to directions to go)
meillo@marmaro.de
parents:
142
diff
changeset
|
33 |
|
267
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
34 This section identifies the requirements for \masqmail\ to reach the above defined goal. Most of the requirements will apply to modern \MTA{}s in general. |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
35 |
| 137 | 36 |
|
146
2c4673d983c3
wrote about requirements (related to directions to go)
meillo@marmaro.de
parents:
142
diff
changeset
|
37 |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
38 \subsection{Functional requirements} |
| 327 | 39 \label{sec:functional-requirements} |
| 391 | 40 \index{functional requirements} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
41 |
| 396 | 42 Functional requirements are about the function of the software. They define what the program can do and in what way. The requirements are named ``\NAME{RF}'' for ``requirement, functional''. |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
43 |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
44 |
| 393 | 45 \paragraph{\RF\,1: Incoming and outgoing channels} |
| 339 | 46 \label{rf1} |
| 381 | 47 \sendmail-compatible \MTA{}s must support at least two incoming channels: mail submitted using the \path{sendmail} command, and mail received on a \NAME{TCP} port. Thus it is common to split the incoming channels into local and remote. This is done by \qmail\ and \postfix. The same way is \person{Hafiz}'s view \cite{hafiz05}. |
| 391 | 48 \index{incoming channels} |
| 49 \index{sendmail!command} | |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
50 |
| 381 | 51 \SMTP\ is the primary mail transport protocol today, but with the increasing need for new protocols (see section~\ref{sec:what-will-be-important}) in mind, support for more than just \SMTP\ is good to have. New protocols will show up; maybe multiple protocols need to be supported then. This would lead to multiple remote channels, one for each supported protocol as it was done in other \MTA{}s. Best would be interfaces to add further protocols as modules. |
| 391 | 52 \index{smtp} |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
53 |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
54 |
|
378
c9a6cbce35fd
inserted non-break spaces where appropriate
meillo@marmaro.de
parents:
374
diff
changeset
|
55 Outgoing mail is commonly either sent using \SMTP, piped into local commands (for example \path{uucp}), or delivered locally by appending to a mailbox. 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. |
| 391 | 56 \index{outgoing channels} |
| 57 \index{uucp} | |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
58 \index{sendmail!sendmailx} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
59 \index{pipe} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
60 |
| 381 | 61 Local mail delivery is a job that uses root privilege to be able to switch to any user in order to write to his mailbox. It is possible to deliver without being root privilege, but delivery to user's home folders is not generally possible then. Thus even the modular \MTA{}s \qmail\ and \postfix\ use root privilege for this job. As mail delivery to local users is \emph{not} included in the basic job of an \MTA{} and introduces a lot of new complexity, why should the \MTA\ bother? In order to keep the system simple, reduce privilege, and to have programs that do one job well, the local delivery job should be handed over to a specialist: the \NAME{MDA}. \NAME{MDA}s know about the various mailbox formats and are aware of the problems of concurrent write access and the like. Hence passing the message, and the responsibility for it, over to an \NAME{MDA} seems to be best. |
| 391 | 62 \index{local delivery} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
63 \index{mda} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
64 \index{root privilege} |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
65 |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
66 This means an outgoing connection that pipes mail into local commands is required. To other outgoing channels applies what was already said about incoming channels. |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
67 |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
68 \begin{figure} |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
69 \begin{center} |
| 397 | 70 \includegraphics[scale=0.75]{fig/mta-channels.eps} |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
71 \end{center} |
| 277 | 72 \caption{Required incoming and outgoing channels} |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
73 \label{fig:mta-channels} |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
74 \end{figure} |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
75 |
| 395 | 76 An overview on incoming and outgoing channels which are required for an \MTA, gives figure~\ref{fig:mta-channels}. The reader may want to compare this diagram with \masqmail's incoming and outgoing channels, which are depicted in figure~\ref{fig:masqmail-channels} on page~\pageref{fig:masqmail-channels}. |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
77 |
| 239 | 78 %fixme: write about submission (port 587) |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
79 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
80 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
81 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
82 |
| 393 | 83 \paragraph{\RF\,2: Mail queuing} |
| 339 | 84 \label{rf2} |
| 391 | 85 \index{mail queue} |
| 381 | 86 Mail queuing removes the need to deliver instantly as a message is received. The queue provides fail-safe storage of mails until they are delivered. Mail queues are probably used in all \MTA{}s, even in some simple forwarders. The mail queue is essential for \masqmail, as \masqmail\ is intended for non-permanent online connections. This means, mail must be queued until a online connection is available to send the message. This may be after a reboot. Hence the mail queue must provide persistence. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
87 \index{relay-only mta} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
88 \index{non-permanent online connection} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
89 |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
90 The mail queue and the module(s) 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 mail loss. An \MTA\ takes over responsibility for mail by accepting it, hence losing mail messages is absolutely to avoid. This covers any kind of crash situation, too. The worst thing acceptable to happen is an already sent mail to be sent again. |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
91 \index{smtp!responsibility} |
| 391 | 92 \index{reliability} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
93 \index{mail loss} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
94 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
95 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
96 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
97 |
| 393 | 98 \paragraph{\RF\,3: Header sanitizing} |
| 339 | 99 \label{rf3} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
100 \index{mail sanitizing} |
| 392 | 101 Mail coming into the system often lacks important header lines. At least the required ones must be added by the \MTA. One example is the \texttt{Date:} header, another is the, not required but recommended, \texttt{Message-ID:} header. Apart from adding missing headers, rewriting headers is important, too. Changing the locally known domain part of email addresses to globally known ones is an example. \masqmail\ needs to be able to rewrite the domain part dependent on the route used to send the message, to prevent messages to get classified as spam. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
102 \index{online routes} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
103 |
| 381 | 104 Generating the envelope is a related job. The envelope specifies the actual recipient of the mail, no matter what the \texttt{To:}, \texttt{Cc:}, and \texttt{Bcc:} headers contain. Multiple recipients lead to multiple different envelopes, all containing the same mail message. |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
105 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
106 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
107 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
108 |
| 393 | 109 \paragraph{\RF\,4: Aliasing} |
| 339 | 110 \label{rf4} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
111 \index{alias expansion} |
| 381 | 112 Email addresses can have aliases, thus they need to be expanded. Aliases can be of different kind: another local user, a remote user, a list of local and remote users, or a command. Most important are the aliases in the \path{aliases} file, usually located at \path{/etc/aliases}. Addresses expanding to lists of users lead to more envelopes. Aliases changing the recipient's domain part may require a different route to be used. |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
113 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
114 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
115 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
116 |
| 393 | 117 \paragraph{\RF\,5: Route management} |
| 339 | 118 \label{rf5} |
| 391 | 119 \index{online routes} |
|
378
c9a6cbce35fd
inserted non-break spaces where appropriate
meillo@marmaro.de
parents:
374
diff
changeset
|
120 One key feature of \masqmail\ is its ability to send mail out over different routes. The online state defines the active route to be used. A specific route may not be suited for all messages, thus these messages are hold back until a suiting route is active. For more information on this concept see section~\ref{sec:masqmail-routes}. |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
121 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
122 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
123 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
124 |
| 393 | 125 \paragraph{\RF\,6: Authentication} |
| 339 | 126 \label{rf6} |
| 317 | 127 \label{requirement-authentication} |
| 391 | 128 \index{auth} |
| 317 | 129 One thing to avoid is being an \name{open relay}. Open relays allow to relay mail from everywhere to everywhere. This is a 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. It may also be wanted to refuse all connections to the \MTA\ except ones from a specific set of hosts. |
| 391 | 130 \index{open relay} |
| 131 \index{spam} | |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
132 |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
133 Several ways to restrict access are available. The most simple one is restriction by the \NAME{IP} address. No extra complexity is added this way but the \NAME{IP} addresses need to be static or within known ranges. This approach is often used to allow relaying for local nets. The access check can be done by the \MTA\ or by a guard (e.g.\ \NAME{TCP} \name{Wrapper} \cite{venema92}) before. The main advantage here is the minimal setup and maintenance work needed. This kind of access restriction is important to be implemented. |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
134 \index{tcp wrapper} |
| 391 | 135 \index{access restriction} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
136 |
| 316 | 137 This authentication based on \NAME{IP} addresses is impossible in situations where hosts with changing \NAME{IP} addresses, that are not part of a known sub net, need access. Then a authentication mechanism based on some \emph{secret} is required. Three common approaches exist: |
| 334 | 138 |
| 285 | 139 \begin{enumerate} |
| 392 | 140 \item \SMTP-after-\NAME{POP}: Uses authentication on the \NAME{POP} protocol to permit incoming \SMTP\ connections for a limited time afterwards. The variant \SMTP-after-\NAME{IMAP} exists, too. |
| 141 \index{auth!smtp-after-pop} | |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
142 \item \SMTP\ authentication: An extension to \SMTP. It allows to request authentication before mail is accepted. Here no helper protocols are needed. |
| 391 | 143 \index{auth!smtp-auth} |
| 381 | 144 \item Certificates: The identity of a user or a host is confirmed by certificates that are signed by trusted authorities. Certificates are closely related to encryption, they do normally satisfy both needs: encrypt the data transmission and identify the remote user/host. |
| 391 | 145 \index{certificates} |
| 285 | 146 \end{enumerate} |
| 334 | 147 |
| 381 | 148 Static authentication is the preferred type for authenticating clients. It should be chosen if possible. This means if the \MTA\ resides within a trusted network or it is possible to define trusted network segments on basis of \NAME{IP} addresses, then static authentication is the best choice. |
| 334 | 149 |
| 381 | 150 If the \MTA\ does its job in an untrusted network, if it can be expected that forged \NAME{IP} addresses will appear, or if mobile clients need access, then dynamic authentication should be used. |
| 391 | 151 \index{untrusted environment} |
| 334 | 152 |
| 392 | 153 Any combination is possible, too. For example, it is preferred to allow relay access only to authenticated users. Either clients in local networks which are authenticated by their \NAME{IP} addresses or remote clients that authenticate by a secret-based method. |
| 334 | 154 |
| 381 | 155 Static authentication is simpler and requires less administration work but it has limitations. Dynamic authentication should be used if static authentication reaches its limits. At least one of the secret-based mechanisms should be supported. |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
156 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
157 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
158 |
| 393 | 159 \paragraph{\RF\,7: Encryption} |
| 339 | 160 \label{rf7} |
| 314 | 161 \label{requirement-encryption} |
| 391 | 162 \index{enc} |
| 381 | 163 Electronic mail is vulnerable to sniffing attacks, because in generic \SMTP\ all data transfer is unencrypted. The message's body, the header, and the envelope are all unencrypted. But also some authentication dialogs transfer plain text passwords (e.g.\ \NAME{PLAIN} and \NAME{LOGIN}). Hence encryption is throughout important. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
164 \index{plain text} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
165 |
| 394 | 166 The common way to encrypt \SMTP\ dialogs is using \name{Transport Layer Security} (short: \NAME{TLS}, the successor of \NAME{SSL}). \NAME{TLS} encrypts the datagrams of the \name{transport layer}. This means it works below the application protocols and can be used with any of them \citeweb{wikipedia:tls}. |
| 391 | 167 \index{tls} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
168 |
| 381 | 169 Using secure tunnels that are provided by external programs should be preferred over including encryption into the application, because the application needs not to bother with encryption then. Outgoing \SMTP\ connections can get encrypted using a secure tunnel, created by an external application (like \name{openssl}). But incoming connections can not use external secure tunnels, because the remote \NAME{IP} address is hidden then; all connections would appear to come from localhost instead. Figure~\ref{fig:stunnel} depicts the situation of using an application like \name{stunnel} for incoming connections. The connection to port 25 comes from localhost and this information reaches the \MTA. Authentication based on \NAME{IP} addresses and many spam prevention methods are useless then. |
| 391 | 170 \index{secure tunnel} |
| 171 \index{stunnel} | |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
172 \index{openssl} |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
173 |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
174 \begin{figure} |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
175 \begin{center} |
| 397 | 176 \includegraphics[scale=0.75]{fig/stunnel.eps} |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
177 \end{center} |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
178 \caption{Using \name{stunnel} for incoming connections} |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
179 \label{fig:stunnel} |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
180 \end{figure} |
|
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
181 |
| 366 | 182 To provide encrypted incoming channels, the \MTA\ could implement encryption and listen on a port that is dedicated to encrypted \SMTP\ (\NAME{SMTPS}). This approach would be possible, but it is deprecated in favor for \NAME{STARTTLS}. \RFC\,3207 ``\SMTP\ Service Extension for Secure \SMTP\ over Transport Layer Security'' shows this by not mentioning \NAME{SMTPS} on port 465. Also port 465 is not even reserved for \NAME{SMTPS} anymore \citeweb{iana:port-numbers}. |
| 391 | 183 \index{smtps} |
| 184 \index{starttls} | |
|
232
1afdb3f85e69
reworked features and parts of functional requirements
meillo@marmaro.de
parents:
225
diff
changeset
|
185 |
| 381 | 186 \NAME{STARTTLS}---defined in \RFC\,2487---is what \RFC\,3207 recommends to use for secure \SMTP. The connection then goes over port 25, but gets encrypted when the \NAME{STARTTLS} keyword is issued. Email depends on compatibility---only encryption methods that client and server support can be used. Hence it is best to act after the recommendations of the \RFC\ documents. This means \NAME{STARTTLS} encryption should be supported for incoming and for outgoing connections. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
187 \index{rfc} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
188 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
189 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
190 |
| 393 | 191 \paragraph{\RF\,8: Spam handling} |
| 339 | 192 \label{rf8} |
| 391 | 193 \index{spam} |
| 381 | 194 Spam is a major threat nowadays, but it is a war that is hard to win. The goal is to provide state-of-the-art spam protection, but not more. (See section~\ref{sec:swot-analysis}.) |
| 239 | 195 |
| 381 | 196 As spam is, by increasing the amount of mail messages, not just a nuisance for end users but also for the infrastructure---the \MTA{}s---they need to protect themselves. |
|
288
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
197 |
| 381 | 198 Filtering spam can be done by either refusing it during the \SMTP\ dialog or by checking for spam after the mail was accepted and queued. Both ways have advantages and disadvantages, so modern \MTA{}s use them in combination. |
| 391 | 199 \index{smtp!dialog} |
| 239 | 200 |
| 381 | 201 Spam is usually identified by the results of a set of checks. Static rules, database querying (e.g.\ \NAME{DNS} blacklists \cite{cole07} \cite{levine08}), requesting special client behavior (e.g.\ \name{greylisting} \cite{harris03}, \name{hashcash} \cite{back02}), or statistical analysis (e.g.\ \name{bayesian filters} \cite{graham02}) are checks that may be used. Running more checks leads to better results, but takes more system resources and more time. |
| 391 | 202 \index{dns blacklist} |
| 203 \index{greylisting} | |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
204 \index{Hashcash} |
| 391 | 205 \index{bayesian filter} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
206 |
| 381 | 207 Doing some basic checks during the \SMTP\ dialog seems to be a must \cite[page~25]{eisentraut05}. Including these checks into the \MTA\ makes them fast to avoid \SMTP\ dialog timeouts. For modularity and reusability reasons internal interfaces to specialized modules seem to be best. \person{Raymond} says: ``Modularity (simple parts, clean interfaces) is a way to organize programs to make them simpler.'' \cite[chapter~1]{raymond03}. |
| 391 | 208 \index{smtp!dialog} |
| 209 \index{modularity} | |
| 239 | 210 |
| 381 | 211 More detailed checks after the message is queued should be done by external scanners. Interfaces to invoke them need to be defined. (See also the remarks about \name{amavis} in the next section.) |
| 239 | 212 |
| 213 | |
| 214 | |
| 215 | |
| 216 | |
| 393 | 217 \paragraph{\RF\,9: Malware handling} |
| 339 | 218 \label{rf9} |
| 391 | 219 \index{malware} |
| 381 | 220 Related to spam is malicious content (short: \name{malware}) like viruses, worms, and trojan horses. They, in contrast to spam, do not affect the \MTA\ itself, as they are in the mail's body. \MTA{}s that search for malware are equal to post offices that open letters to check if they contain something that could harm the recipient. This is not a mail transport job. But by many people the \MTA\ which is responsible for the recipient is seen to be at a good position to do this work, thus it is often done there. Though, it is nice to have interfaces to such scanners within the \MTA. |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
221 |
| 381 | 222 In any way should malware checking be performed by external programs that may be invoked by the \MTA. However, \NAME{MDA}s are better points to invoke content scanners. |
| 391 | 223 \index{content scanner} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
224 \index{mda} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
225 |
| 381 | 226 A popular email filter framework is \name{amavis} which integrates various spam and malware scanners. The common setup includes a receiving \MTA\ which sends mail to \name{amavis} using \SMTP, \name{amavis} processes the mail and sends it then to a second \MTA\ that does the outgoing transfer. (This setup with two \MTA\ instances is discussed in more detail in section~\ref{sec:current-code-security}.) |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
227 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
228 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
229 |
| 393 | 230 \paragraph{\RF\,10: Archiving} |
| 339 | 231 \label{rf10} |
| 391 | 232 \index{archiving} |
| 381 | 233 Mail archiving and auditability become more important as email establishes as technology for serious business communication. Archiving is a must for companies in many countries. In the United States, the \name{Sarbanes-Oxley Act} \cite{sox} covers this topic. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
234 \index{Sarbanes-Oxley Act} |
| 381 | 235 |
| 236 It is a goal to have the ability to archive verbatim copies of every mail coming into and every mail going out of the system, with relation between them. | |
| 334 | 237 |
| 381 | 238 \postfix\ for example has a \name{always\_bcc} feature, to send a copy of every outgoing mail to a definable recipient. At least this functionality should be given, although a more complete approach, like \qmail\ provides, is preferable. \qmail\ is able to save copies of all sent and received messages and additionally complete \SMTP\ dialogs \cite[page~12]{sill02}. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
239 \index{postfix} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
240 \index{qmail} |
| 391 | 241 \index{smtp!dialog} |
| 219 | 242 |
| 381 | 243 But if archiving is of high importance, a dedicated archiving solution is advisable, anyway. |
| 219 | 244 |
| 245 | |
| 246 | |
| 247 | |
| 248 \subsection{Non-functional requirements} | |
| 391 | 249 \index{non-functional requirement} |
| 219 | 250 |
| 396 | 251 Now follows a list of non-functional requirements for \masqmail. These requirements specify the quality properties of a software. The list is based on \person{Hafiz} \cite[page~2]{hafiz05}, with inspiration from \person{Spinellis} \cite[page~6]{spinellis06} and \person{Kan} \cite{kan03}. These non-functional requirements are named ``\NAME{RG}'' for ``requirement, general''. |
| 239 | 252 |
| 253 | |
| 393 | 254 \paragraph{\RG\,1: Security} |
| 391 | 255 \index{security} |
| 381 | 256 \MTA{}s are critical points for computer security as they are accessible from external networks. They must be secured with high effort. Properties like the need for high privilege level, from outside influenced work load, work on unsafe data, and demand for reliability, increase the need for security. This is best done by modularization, also called \name{compartmentalization}, as described in section~\ref{sec:discussion-mta-arch}. |
| 391 | 257 \index{compartmentalization} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
258 |
| 381 | 259 \masqmail\ needs to be secure enough for its target field of operation. \masqmail\ is targeted to workstations and private networks, with explicit warning to not use it on permanent online hosts \citeweb{masqmail:homepage2}. But as non-permanent online connections and trustable environments become rare, \masqmail's security should be so good that it is usable with permanent online connections and in unsafe environments. For example should mails with bad content not be able to break \masqmail. |
| 391 | 260 \index{masqmail!security} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
261 \index{non-permanent online connection} |
| 219 | 262 |
| 259 | 263 |
| 393 | 264 \paragraph{\RG\,2: Reliability} |
| 391 | 265 \index{reliability} |
| 392 | 266 Reliability is the second essential quality property for an \MTA. Mail for which the \MTA\ took responsibility must never get lost while it is within the \MTA's responsibility. The \MTA\ must not be \emph{the cause} of any mail loss, no matter what happens. Unreliable \MTA{}s are of no value. However, as the mail transport infrastructure is a distributed system, one of the communication partners or the transport medium may crash at any time during mail transfer. Thus reliability is needed for mail transfer communication, too. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
267 \index{smtp!responsibility} |
| 391 | 268 \index{mail loss} |
| 239 | 269 |
| 392 | 270 The goal is to transfer exactly one copy of the message. \person{Tanenbaum} evaluates the situation and comes to the conclusion that ``in general, there is no way to arrange this.'' \cite[pages~377--379]{tanenbaum02}. Only strategies where no mail gets lost are acceptable; he identifies three of them, but one generates more duplicates than the others, so two strategies remain. (1) The client always reissues the transfer. The server first sends an acknowledgment and then handles the transfer. (2) The client reissues the transfer only if no acknowledgment was received. The server first handles the transfer and sends the acknowledgment afterwards. The first strategy does not need acknowledgments at all, however, it will lose mail if the second transfer fails, too. |
| 239 | 271 |
| 381 | 272 Hence, mail transfer between two processes should use the strategy: The client reissues if it receives no acknowledgment. The server first handles the message and then sends the acknowledgment. This strategy only leads to duplicates if a crash happens in the time between the message is fully transferred to the server and the acknowledgment is received by the client. No mail will get lost. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
273 \index{duplicates of messages} |
| 219 | 274 |
| 275 | |
| 393 | 276 \paragraph{\RG\,3: Robustness} |
| 391 | 277 \index{robustness} |
| 381 | 278 Being robust means handling errors properly. Small errors may get corrected, large errors may kill a process. Killed processes should get restarted automatically and lead to a clean state again. Log messages should be written in every case. Robust software does not need a special environment, it creates a friendly environment itself. \person{Raymond}'s \name{Rule of Robustness} and his \name{Rule of Repair} are good descriptions \cite[pages~18--21]{raymond03}. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
279 \index{robustness!rule of} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
280 \index{repair!rule of} |
| 219 | 281 |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
282 |
| 393 | 283 \paragraph{\RG\,4: Extendability} |
| 391 | 284 \index{extendability} |
| 392 | 285 \masqmail's architecture needs to be extendable to allow new features to be added afterwards. The reasons for this need are the changing requirements. New requirements will appear, like more efficient mail transfer of large messages or a final solution to the spam problem. Extendability is the ability of software to include new function with little work. |
| 219 | 286 |
| 287 | |
| 393 | 288 \paragraph{\RG\,5: Maintainability} |
| 391 | 289 \index{maintainability} |
| 381 | 290 Maintaining software takes much time and effort. \person{Spinellis} guesses ``40\,\% to 70\,\% of the effort that goes into a software system is expended after the system is written first time.'' \cite[page~1]{spinellis03}. This work is called \emph{maintaining}. Hence making software good to maintain will ease all further work. |
| 219 | 291 |
| 292 | |
| 393 | 293 \paragraph{\RG\,6: Testability} |
| 391 | 294 \index{testability} |
| 395 | 295 Good testability make maintenance easier too, because functionality is directly verifiable when changes are done, thus removing the uncertainty. Modularized software makes testing easier, because parts can be tested without external influences. \person{Spinellis} sees testability as a sub-quality of maintainability \cite{spinellis06}. |
| 219 | 296 |
| 297 | |
| 393 | 298 \paragraph{\RG\,7: Performance} |
| 391 | 299 \index{performance} |
| 381 | 300 Also called ``efficiency''. Efficient software requires few time and few resources. The merge of communication hardware and its move from service providers to homes and to mobile devices demand smaller and more resource-friendly software. The amount of mail will be lower even if much more mail will be sent, thus time performance is less important. \masqmail\ is not a program to be used on large servers, but on small devices. Thus more important for \masqmail\ will be energy and heat saving, maybe also system resources. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
301 |
| 381 | 302 As performance improvements are in contrast to many other quality properties (reliability, maintainability, usability, capability \cite[page~5]{kan03}), jeopardizing these to gain some more performance should not be done. \person{Kernighan} and \person{Pike} state clear: ``[T]he first principle of optimization is \emph{don't}.'' \cite[page~165]{kernighan99}. Simplicity and clearness are of higher value. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
303 |
| 219 | 304 |
| 305 | |
| 393 | 306 \paragraph{\RG\,8: Availability} |
| 391 | 307 \index{availability} |
| 381 | 308 Availability is important for server programs. They must stay operational by blocking \name{denial of service} attacks and the like. Automated restarts into a clean state after fatal errors are also required. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
309 \index{denial of service attack} |
| 219 | 310 |
| 311 | |
| 393 | 312 \paragraph{\RG\,9: Portability} |
| 391 | 313 \index{portability} |
| 393 | 314 Source code that compiles and runs on various operation systems is called portable. Portability can be achieved by using standard features of the programming language and common libraries. Basic rules to achieve portable code are defined by \person{Kernighan} and \person{Pike} \cite{kernighan99}. Portable code lets software spread faster. Portability among the various flavors of Unix systems is a goal for \masqmail, because these systems are the ones \MTA{}s usually run on. No special care needs to be taken for non-Unix platforms. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
315 \index{Unix} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
316 |
| 219 | 317 |
| 318 | |
| 393 | 319 \paragraph{\RG\,10: Usability} |
| 391 | 320 \index{usability} |
| 395 | 321 Usability, not mentioned by \person{Hafiz} \cite{hafiz05} (he focuses on architecture) but by \person{Spinellis} \cite{spinellis06} and \person{Kan} \cite{kan03}, is a property which is very important from the user's point of view. Software with bad usability is rarely used, no matter how good it is. If substitutes with better usability exist, the user will switch to one of them. Here, usability includes setting up and configuring; the term ``users'' includes administrators. Having \MTA{}s on home servers and workstations requires easy and standardized configuration. The common setups should be configurable with little action by the user. Complex configuration should be possible, but the focus should be on the most common form of configuration: choosing one of several common setups. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
322 \index{configuration} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
323 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
324 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
325 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
326 |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
327 \subsection{Architecture} |
| 239 | 328 \label{sec:discussion-mta-arch} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
329 \index{mta!architecture} |
| 239 | 330 |
| 396 | 331 \masqmail's current architecture is monolithic like \sendmail's and \exim's. But more than the other two is it one block of interweaved code. \exim\ has a highly structured code with many internal interfaces, a good example is the interface for authentication ``modules''. \sendmail\ provides now, with its \name{milter} interface, standardized connection channels to external modules. \masqmail\ has none of them---it is what \sendmail\ was in the beginning: a single large block. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
332 \index{sendmail} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
333 \index{exim} |
| 391 | 334 \index{milter} |
| 335 \index{masqmail!architecture} | |
| 239 | 336 |
| 381 | 337 Figure~\ref{fig:masqmail-arch} is a call graph generated from \masqmail's source code. It gives an impression of how interweaved the internals are. There are no compartments at all. |
| 391 | 338 \index{call graph} |
| 239 | 339 |
| 340 \begin{figure} | |
| 341 \begin{center} | |
| 342 \vspace*{2ex} | |
| 397 | 343 \includegraphics[scale=0.75]{fig/callgraph.eps} |
| 239 | 344 \end{center} |
| 339 | 345 \caption{Internal structure of \masqmail, showed by a call graph. (Logging functions are ignored; test and \NAME{POP3} code is excluded.)} |
| 239 | 346 \label{fig:masqmail-arch} |
| 347 \end{figure} | |
| 348 | |
|
378
c9a6cbce35fd
inserted non-break spaces where appropriate
meillo@marmaro.de
parents:
374
diff
changeset
|
349 \sendmail\ improved its old architecture by adding the milter interface, to include further functionality by invoking external programs. \exim\ was designed, and is carefully maintained, with a modular-like code structure in mind. \qmail\ started from scratch with a ``security-first'' approach, \postfix\ improved on it, and \name{sendmail~X}/\name{MeTA1} tries to adopt the best of \qmail\ and \postfix\ to completely replace the old \sendmail\ architecture. \person{Hafiz} describes this evolution of \MTA\ architecture very well \cite{hafiz05}. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
350 \index{sendmail} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
351 \index{postfix} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
352 \index{qmail} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
353 \index{exim} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
354 \index{sendmail!sendmailx} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
355 \index{sendmail!meta1} |
| 391 | 356 \index{security} |
| 239 | 357 |
| 381 | 358 Every one of these programs is more modular, or became more modular over time, than \masqmail\ is. Modern requirements like spam protection and probable future requirements like the use of new mail transport protocols demand for modular designs in order to keep the software simple. Simplicity is a key property for security. ``[T]he essence of security engineering is to build systems that are as simple as possible.'' \cite[page 45]{graff03}. |
| 391 | 359 \index{modularity} |
| 239 | 360 |
| 361 \person{Hafiz} agrees: ``The goal of making software secure can be better achieved by making the design simple and easier to understand and verify.'' \cite[page 64]{hafiz05}. He identifies the security of \qmail\ to come from it's \name{compartmentalization}, which goes hand in hand with modularity: | |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
362 \index{qmail} |
| 391 | 363 \index{compartmentalization} |
| 381 | 364 |
| 239 | 365 \begin{quote} |
| 366 A perfect example is the contrast between the feature envy early \sendmail\ architecture implemented as one process and the simple, modular architecture of \qmail. The security of \qmail\ comes from its compartmentalized simple processes that perform one task only and are therefore testable for security. | |
| 367 \hfill\cite[page 64]{hafiz05} | |
| 368 \end{quote} | |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
369 \index{sendmail} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
370 \index{qmail} |
| 381 | 371 |
| 372 Equal does \person{Dent} see the situation for \postfix: ``The modular architecture of Postfix forms the basis for much of its security.'' \cite[page 7]{dent04}. | |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
373 \index{postfix} |
| 391 | 374 \index{modularity} |
| 239 | 375 |
| 381 | 376 Modularity is also needed to satisfy modern \MTA\ requirements in providing a clear interface to add functionality without increasing the overall complexity much. |
| 239 | 377 |
| 381 | 378 Modularity is no direct requirement but a goal that has positive influence on important requirements like security, testability, extendability, maintainability, and not least simplicity. These quality properties then, on their part, make it easier to achieve the functional requirements. |
| 391 | 379 \index{security} |
| 239 | 380 |
| 242 | 381 Hence, aspiration for modularity, by compartmentalization, improves the overall quality and function of the software. It can be seen as an architectural requirement for a secure and modern \MTA. |
| 239 | 382 |
| 383 | |
| 384 | |
| 385 | |
|
288
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
386 |
|
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
387 |
|
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
388 |
|
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
389 |
|
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
390 |
|
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
391 |
| 239 | 392 \section{Fulfilled requirements} |
| 393 \label{sec:fulfilled-requirements} | |
| 394 | |
| 395 Here follows a description of how far the requirements are already fulfilled by \masqmail. | |
| 396 | |
| 397 | |
| 393 | 398 \paragraph{\RF\,1: In/out channels} |
| 391 | 399 \index{incoming channels} |
| 400 \index{outgoing channels} | |
| 393 | 401 The incoming and outgoing channels that \masqmail\ already has (depicted in figure~\ref{fig:masqmail-channels} on page \pageref{fig:masqmail-channels}) are the ones required for an \MTA{}s at the moment. Currently, support for other protocols seems not to be necessary, although new protocols and mailing concepts are likely to appear (see section~\ref{sec:email-trends}). As other protocols are not required today, \masqmail\ is regarded to fulfill \RF\,1. Without any support in \masqmail\ for adding further protocols, the best strategy is to delaying such work until the functionality is essential, anyway. |
| 239 | 402 |
| 396 | 403 %fixme: << smtp submission >> |
| 287 | 404 |
| 393 | 405 \paragraph{\RF\,2: Queuing} |
| 391 | 406 \index{mail queue} |
| 381 | 407 One single mail queue is used in \masqmail. It satisfies all current requirements. |
| 239 | 408 |
| 393 | 409 \paragraph{\RF\,3: Header sanitizing} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
410 \index{mail sanitizing} |
| 239 | 411 The envelope and mail headers are generated when the mail is put into the queue. The requirements are fulfilled. |
| 412 | |
| 393 | 413 \paragraph{\RF\,4: Aliasing} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
414 \index{alias expansion} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
415 Alias expansion is done on delivery. All common kinds of aliases in the global aliases file are supported. So called \name{.forward} aliasing is not supported, but this is less common and seldom used. |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
416 \index{alias expansion!.forward} |
| 239 | 417 |
| 393 | 418 \paragraph{\RF\,5: Route management} |
| 391 | 419 \index{online routes} |
| 381 | 420 Querying the name of the active route is done on delivery. Headers can get rewritten a second time then. This part does provide all the functionality required. |
| 239 | 421 |
| 393 | 422 \paragraph{\RF\,6: Authentication} |
| 391 | 423 \index{auth} |
| 392 | 424 Static authentication, based on \NAME{IP} addresses, can be achieved with \person{Venema}'s \NAME{TCP} \name{Wrapper} \cite{venema92}, by editing the \path{hosts.allow} and \path{hosts.deny} files. This is only relevant to authenticate hosts that try to submit mail into the system. Dynamic (secret-based) \SMTP\ authentication is already supported in form of \NAME{SMTP-AUTH} and \SMTP-after-\NAME{POP}, but only for outgoing connections. For incoming connections only address-based authentication is supported. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
425 \index{tcp wrapper} |
| 391 | 426 \index{auth!smtp-after-pop} |
| 427 \index{auth!smtp-auth} | |
| 239 | 428 |
| 393 | 429 \paragraph{\RF\,7: Encryption} |
| 391 | 430 \index{enc} |
| 381 | 431 Similar is the situation for encryption which is also only available for outgoing channels; here a tunnel application, like \name{openssl}, is needed. A secure tunnel can be created to send mail trough. State-of-the-art, however, is using \NAME{STARTTLS}, but this is not supported. For incoming channels, no encryption is available. The only possible setup to provide encryption of incoming channels is using an application like \name{stunnel} to crypt between the secure connection to the remote host and the plain connection to the \MTA. Unfortunately, this suffers from the problem explained on page \pageref{fig:stunnel} in figure~\ref{fig:stunnel}. Anyway, it would still be no \NAME{STARTTLS} support. |
| 391 | 432 \index{secure tunnel} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
433 \index{stunnel} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
434 \index{starttls} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
435 \index{openssl} |
| 239 | 436 |
| 393 | 437 \paragraph{\RF\,8: Spam handling} |
| 391 | 438 \index{spam!handling} |
| 381 | 439 \masqmail\ does not provide special support for spam filtering. Spam prevention by not accepting spam during the \SMTP\ dialog is not possible at all. Spam filtering is only possible by using two \masqmail\ instances with an external spam filter in between. The mail flow is from the receiving \MTA\ instance, which accepts mail, to the filter application that processes and possible modifies it, to the second \MTA\ which is responsible for further delivery of the mail. This is a concept that works in general, and it is good to separate different work with clear interfaces. But the need of two instances of the same \MTA, with doubled setup, makes it rather a work-around. Better is to have this data flow respected in the \MTA\ design, like it was done in \postfix. Anyway, the more important part of spam handling, for sure, is done during the \SMTP\ dialog by completely refusing unwanted mail. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
440 \index{postfix} |
| 239 | 441 |
| 393 | 442 \paragraph{\RF\,9: Malware handling} |
| 391 | 443 \index{malware!handling} |
| 381 | 444 For malware handling applies nearly the same as for spam handling, except that all checks are done after mail is accepted. The possible setup is the same with the two \MTA\ instances and the filter in between. \masqmail\ does support such a setup, but not in a nice way. |
| 239 | 445 |
| 393 | 446 \paragraph{\RF\,10: Archiving} |
| 391 | 447 \index{archiving} |
| 381 | 448 There is currently no way for archiving every message that does through \masqmail. |
| 239 | 449 |
| 450 | |
| 451 | |
| 393 | 452 \paragraph{\RG\,1: Security} |
| 391 | 453 \index{security} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
454 \masqmail's current security is bad. However, it seems acceptable for using \masqmail\ on workstations and private networks, if the environment is trustable and \masqmail\ is protected against remote attacks. In environments where untrusted components or persons have access to \masqmail, its security is too low. Its author states that \masqmail\ ``is not designed to'' such usage \citeweb{masqmail:homepage2}. This is a clear indicator for being careful. Issues like high memory consumption, low performance, and denial of service attacks---things not regarded by design---may cause serious problems. In any way, a security report that confirms \masqmail's security level is missing. |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
455 \index{denial of service attack} |
| 391 | 456 \index{masqmail!security} |
| 259 | 457 |
| 392 | 458 \masqmail\ uses conditional compilation to exclude unneeded functionality from the executable at compile time. Excluding code means excluding all bugs and weaknesses within this code, too. Excluding unused code is a good concept to improve security. |
| 391 | 459 \index{conditional compilation} |
| 239 | 460 |
| 393 | 461 \paragraph{\RG\,2: Reliability} |
| 391 | 462 \index{reliability} |
| 381 | 463 Its reliability is also not good enough. Situations where only one part of a sent message was removed from the queue and the other part remained as garbage, showed off \citeweb{debian:bug245882}. Problems with large mail messages in conjunction with small bandwidth were also reported \citeweb{debian:bug216226}. Fortunately, lost email was no big problem yet, but \person{Kurth} warns: |
| 391 | 464 \index{masqmail!bugs} |
| 381 | 465 |
| 239 | 466 \begin{quote} |
| 467 There may still be serious bugs in [masqmail], so mail might get lost. But in the nearly two years of its existence so far there was only one time a bug which caused mail retrieved via pop3 to be lost in rare circumstances. | |
| 468 \hfill\citeweb{masqmail:homepage2} | |
| 469 \end{quote} | |
| 381 | 470 |
| 396 | 471 In summary: Current reliability needs to be improved. Implementing a state machine can help here. |
| 239 | 472 |
| 393 | 473 \paragraph{\RG\,3: Robustness} |
| 391 | 474 \index{robustness} |
| 381 | 475 The logging behavior of \masqmail\ is good, although it does not cover the whole code. For example, if the queue directory is world writeable by accident (or as action of an intruder), any user can remove messages from the queue or replace them with own ones. \masqmail\ does not even write a debug message in this case. The origin of this problem, however, is \masqmail's trust in its environment. |
| 239 | 476 |
| 393 | 477 \paragraph{\RG\,4: Extendability} |
| 391 | 478 \index{extendability} |
| 381 | 479 \masqmail's extendability is very poor. This is a general problem of monolithic software, but can though be provided with high effort. \exim\ is an example for good extendability in a monolithic program. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
480 \index{exim} |
| 239 | 481 |
| 393 | 482 \paragraph{\RG\,5: Maintainability} |
| 391 | 483 \index{maintainability} |
| 381 | 484 The maintainability of \masqmail\ is equivalent to other software of similar kind. Missing modularity and therefore more complexity makes the maintainer's work harder. Conditional compilation might be good for security, but \name{ifdef}s scattered throughout the source code is a pain for maintenance. In summary is \masqmail's maintainability bearable, like in average Free Software projects. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
485 \index{Free Software projects} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
486 \index{conditional compilation} |
| 239 | 487 |
|
288
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
488 |
| 287 | 489 |
| 393 | 490 \paragraph{\RG\,6: Testability} |
| 391 | 491 \index{testability} |
| 381 | 492 The testability suffers from missing modularity, too. Testing program parts is hard to do. Nevertheless, it is done by compiling parts of the source to two special test programs: One tests reading input from a socket, the other tests constructing messages and sending it directly. Neither is designed for automated testing of source parts, they are rather to help the programmer during development. |
| 239 | 493 |
| 381 | 494 Two additional scripts exist to send a set of mails to differend kinds of recipients. They can be used for automated testing, but both check only the function of the whole system, not its parts. |
| 391 | 495 \index{test program} |
| 339 | 496 |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
497 |
| 393 | 498 \paragraph{\RG\,7: Performance} |
| 391 | 499 \index{performance} |
| 239 | 500 The performance---efficiency---of \masqmail\ is good enough for its target field of operation, where this is a minor goal. |
| 501 | |
| 393 | 502 \paragraph{\RG\,8: Availability} |
| 391 | 503 \index{availability} |
| 239 | 504 This applies equal to availability. Hence no further work needs to be done her. |
| 505 | |
| 393 | 506 \paragraph{\RG\,9: Portability} |
| 391 | 507 \index{portability} |
| 508 The code's portability is good with view on Unix-like operation systems. At least \name{Debian}, \name{Red Hat}, \NAME{SUSE}, \name{Slackware}, \name{Free}\NAME{BSD}, \name{Open}\NAME{BSD}, and \name{Net}\NAME{BSD} are reported to be able to compile and run \masqmail\ \citeweb{masqmail:homepage2}. Special requirements for the underlying file system are not known. Thus, the portability is already good. | |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
509 \index{bsd} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
510 \index{Unix} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
511 \index{masqmail} |
| 239 | 512 |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
513 |
| 393 | 514 \paragraph{\RG\,10: Usability} |
| 391 | 515 \index{usability} |
| 381 | 516 The usability is very good, from the administrator's point of view. \masqmail\ was developed to suite a specific, limited job---its configuration does perfect match. The user's view does not reach to the \MTA, as it is hidden behind the \MUA. Configuration could be eased even more by providing configuration generators that enable \masqmail\ to be used right ``out of the box'' after running one of several configuration scripts for common setups. This would improve \masqmail's usability for not technical educated people. |
| 391 | 517 \index{out-of-the-box usage} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
518 \index{configuration} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
519 \index{mua} |
| 239 | 520 |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
521 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
522 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
523 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
524 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
525 \section{Work to do} |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
526 |
| 381 | 527 After the requirements for modern \MTA{}s were identified in section~\ref{sec:mta-requirements} and \masqmail's features were compared against them in section~\ref{sec:fulfilled-requirements}, here the pending work is identified. Table~\ref{tab:requirements} lists all requirements with importance and the work that is needed to achieve them. The column ``Focus'' shows the attention a work task should get. The focus depends on the task's importance and the amount of work it includes. |
| 239 | 528 |
| 529 \begin{table} | |
| 530 \begin{center} | |
| 271 | 531 \input{tbl/requirements.tbl} |
| 239 | 532 \end{center} |
| 533 \caption{Importance of and pending work for requirements} | |
| 242 | 534 \label{tab:requirements} |
| 239 | 535 \end{table} |
| 536 | |
| 381 | 537 The importance is ranked from `-{}-' (not important) to `++' (very important). The pending work is ranked from `-{}-' (nothing) to `++' (very much). Large work tasks with high importance need to receive much attention, they need to be in focus. In contrast should small, low importance work tasks receive few attention. Here the focus for a task is calculated by summing up the importance and the pending work with equal weight. Normally, tasks with high focus are the ones of high priority and should be done first. |
| 239 | 538 |
| 381 | 539 The functional requirements that receive highest attention are \RF\,6 (authentication), \RF\,7 (encryption), and \RF\,8 (spam handling). Of the non-functional requirements, \RG\,1 (security), \RG\,2 (reliability), and \RG\,4 (extendability), rank highest. |
| 239 | 540 |
| 381 | 541 These tasks are presented in more detail in a todo list, now. The list is sorted by focus and then by importance. |
| 187 | 542 |
| 543 | |
| 393 | 544 \subsubsection*{\TODO\,1: Encryption (\RF\,7)} |
| 391 | 545 \index{enc} |
| 381 | 546 Encryption is chosen for number one as it is essential to provide privacy. Using \NAME{STARTTLS} for encryption is definitely needed and should be added first; encrypted data transfer is hardly possible without support for it. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
547 \index{starttls} |
|
288
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
548 |
| 187 | 549 |
| 393 | 550 \subsubsection*{\TODO\,2: Authentication (\RF\,6)} |
| 391 | 551 \index{auth} |
| 381 | 552 Authentication of incoming \SMTP\ connections is also highly needed and should be added second. It is important to restrict access and to prevent relaying. For workstations and local networks, this has only medium importance and address-based authentication is sufficient in most times. But secret-based authentication is mandatory to receive mail from the Internet. Additionally it is a guard against spam. |
|
288
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
553 |
| 187 | 554 |
| 393 | 555 \subsubsection*{\TODO\,3: Security (\RG\,1)} |
| 391 | 556 \index{security} |
| 392 | 557 \masqmail's security is bad, thus the program is forced into a limited field of operation. This field of operation even shrinks as security becomes more important and networking and interaction increases. Secure and trusted environment become rare, thus improving security is an important thing to do. The focus should be on adding compartments to split \masqmail\ into separate modules. (See section~\ref{sec:discussion-mta-arch}.) Furthermore, \masqmail's security should be tested throughout to get a definitive view how good it really is and where the weak spots are. |
| 391 | 558 \index{modularity} |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
559 |
| 187 | 560 |
| 393 | 561 \subsubsection*{\TODO\,4: Reliability (\RG\,2)} |
| 391 | 562 \index{reliability} |
| 381 | 563 Reliability is also to improve. It is a key quality property for an \MTA, and not good enough in \masqmail. Reliability is strong related to the queue, thus improvements there are favorable. Applying ideas of \name{crash-only software} \cite{candea03} will be a good step. \person{Candea} and \person{Fox} see in killing the process the best way to stop a running program. Doing so inevitably demands for good reliability of the queue, and the start up process inevitably demands for good recovery. Those critical situations for reliability are nothing special anymore, they are common. Hence they are regularly tested and will definitely work. |
| 391 | 564 \index{crash-only software} |
|
288
8341092a7554
rework throughout ch04; minor other stuff
meillo@marmaro.de
parents:
287
diff
changeset
|
565 |
| 241 | 566 |
| 393 | 567 \subsubsection*{\TODO\,5: Spam handling (\RF\,8)} |
| 391 | 568 \index{spam!handling} |
| 381 | 569 As authentication can be a guard against spam, filter facilities have lower priority. But basic spam filtering and interfaces for external tools should be implemented in future. Configuration guides for a setup of two \masqmail\ instances with a spam scanner in between should be written. And at least a basic kind of spam prevention during the \SMTP\ dialog should be implemented. |
|
196
b80438534651
rewrites and new content about non-functional requirements
meillo@marmaro.de
parents:
191
diff
changeset
|
570 |
|
b80438534651
rewrites and new content about non-functional requirements
meillo@marmaro.de
parents:
191
diff
changeset
|
571 |
| 393 | 572 \subsubsection*{\TODO\,6: Extendability (\RG\,4)} |
| 391 | 573 \index{extendability} |
| 381 | 574 \masqmail\ lacks an interface to plug in modules with additional functionality. There exists no add-on or module system. The code is only separated by function into various source files. Some functional parts can be included or excluded by conditional compilation. But the \name{ifdef}s are scattered through all the code. This situation needs to be improved by collecting related function into single places that interact through clear interfaces with other parts. Also should these interfaces allow efficient adding of further functionality. |
| 391 | 575 \index{conditional compilation} |
| 254 | 576 |
|
196
b80438534651
rewrites and new content about non-functional requirements
meillo@marmaro.de
parents:
191
diff
changeset
|
577 |
| 187 | 578 |
| 579 | |
|
185
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
580 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
581 |
|
1611abd5443b
restructuring and new content (a large commit)
meillo@marmaro.de
parents:
182
diff
changeset
|
582 |
| 239 | 583 |
| 584 | |
| 585 | |
| 586 \section{Ways for further development} | |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
587 \index{development!strategy} |
| 239 | 588 |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
589 Knowing what needs to be done is only one part, the other is deciding \emph{how} to do it by focusing on a global development strategy. |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
590 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
591 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
592 \subsection{Possibilities} |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
593 |
| 316 | 594 Further development of software can always go three different ways: |
| 241 | 595 \begin{enumerate} |
| 391 | 596 \item Improve the current code base. (S\,1) |
| 597 \item Add wrappers or interposition filters. (S\,2) | |
| 598 \item Redesign the software from scratch and rebuild it. (S\,3) | |
| 241 | 599 \end{enumerate} |
| 239 | 600 |
| 381 | 601 The first two strategies base on the available source code and can be applied in combination. The third strategy splits from the old code base and starts over again. Wrappers and interposition filters would be outright included into a new architecture; they are a subset of a new design. Of course, parts of existing code can be used in a new design if appropriate. |
| 391 | 602 \index{wrapper} |
| 603 \index{interposition filter} | |
| 241 | 604 |
| 605 | |
| 393 | 606 The requirements are now regarded, each on its own, and are linked to the development strategy that is preferred to reach each specific requirement. If some requirement is well achievable by using different strategies then it is linked to all of them. Implementing encryption (\TODO\,1) and authentication (\TODO\,2), for example, are limited to a narrow region in the code. Such features are addable to the current code base without much problem. In contrast can quality properties like reliability (\TODO\,4), extendability (\TODO\,6), and maintainability hardly be added to code afterwards---if at all. Security (\TODO\,3) is improvable in a new design, of course, but also with wrappers or interposition filters. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
607 |
| 381 | 608 This linking of requirements to the strategies is shown in table~\ref{tab:strategies}. The requirements are ordered by their focus. |
|
200
2e006e8f5250
rewrote much and wrote result and more (ch04)
meillo@marmaro.de
parents:
197
diff
changeset
|
609 |
| 241 | 610 \begin{table} |
| 611 \begin{center} | |
| 271 | 612 \input{tbl/strategies.tbl} |
| 241 | 613 \end{center} |
| 614 \caption{Development strategies and their suitability for requirements} | |
| 615 \label{tab:strategies} | |
| 616 \end{table} | |
| 617 | |
|
267
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
618 |
| 381 | 619 Next, the best strategy for further development needs to be discovered. Therefore a score for each strategy is obtained by summing up the focus points of each requirement for which a strategy is preferred. Only positive focus points are regarded, with each plus symbol counting one. Requirements with negative focus are not regarded because they are already or nearly reached; the view here is on outstanding work. |
| 620 | |
| 621 Strategy 1 (Improve current code) has a score of 9 points. Strategy 2 (Wrappers and interposition filters) has a score of 7 points. Strategy 3 (A new design) scores on top with 17 points. S\,1 and S\,2 can be used in combination; the combined score is 13 points. Thus strategy 3 ranges first, followed by the combination of strategy 1 and 2. | |
| 261 | 622 |
| 381 | 623 This leads to the conclusion that S\,3 (A new design) is probably the best strategy for further development. |
| 254 | 624 |
| 392 | 625 But this result respects only the view on requirements and their relevance. Other factors like development effort and risks are important to think about, too. These issues are discussed in the following sections, comparing S\,3 against the combination S\,1+2. |
| 241 | 626 |
| 627 | |
| 628 | |
| 629 | |
| 630 | |
| 631 | |
| 632 | |
| 633 | |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
634 \subsection{Discussion} |
| 323 | 635 \label{sec:discussion-further-devel} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
636 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
637 |
| 296 | 638 \subsubsection*{Quality improvements} |
| 391 | 639 \index{quality improvement} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
640 |
| 392 | 641 Most quality properties can hardly be added afterwards. Hence, if reliability, extendability, or maintainability shall be improved, a redesign of \masqmail\ is the best way to take. The wish to improve quality, inevitably point towards a modular architecture. Modularity with internal and external interfaces is highly preferred from the architectural point of view (see section~\ref{sec:discussion-mta-arch}). The need for further features, especially ones that require changes in \masqmail's structure, support the decision for a new design, too. Hence a rewrite is favored if \masqmail\ should become a modern \MTA\ with good quality properties. |
| 391 | 642 \index{modularity} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
643 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
644 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
645 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
646 \subsubsection*{Security} |
| 391 | 647 \index{security} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
648 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
649 Similar is the situation for security. Security comes from good design, explain \person{Graff} and \person{van Wyk}: |
| 381 | 650 |
| 241 | 651 \begin{quote} |
| 652 Good design is the sword and shield of the security-conscious developer. Sound design defends your application from subversion or misuse, protecting your network and the information on it from internal and external attacks alike. It also provides a safe foundation for future extensions and maintenance of the software. | |
| 653 % | |
| 654 %Bad design makes life easier for attackers and harder for the good guys, especially if it contributes to a false sends of security while obscuring pertinent failings. | |
| 655 \hfill\cite[page 55]{graff03} | |
| 656 \end{quote} | |
| 391 | 657 \index{good design} |
| 241 | 658 |
| 296 | 659 They also suggest to add wrappers and interposition filters \emph{around} applications, but more as repair techniques if it is not possible to design security \emph{into} a software the first way \cite[pages~71--72]{graff03}. |
| 391 | 660 \index{wrapper} |
| 661 \index{interposition filter} | |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
662 |
| 381 | 663 \person{Hafiz} adds: ``The major idea is that security cannot be retrofitted \emph{into} an architecture.'' \cite[page 64, (emphasis added)]{hafiz05}. |
| 391 | 664 \index{security!retrofitted} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
665 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
666 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
667 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
668 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
669 \subsubsection*{Effort estimation} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
670 \index{development!work effort} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
671 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
672 Although a strategy might lead to the best result, one may choose another one if the required effort is too high. The effort for a redesign and rebuild is estimated now. |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
673 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
674 \person{Wheeler}'s program \name{sloccount} calculates following estimations for \masqmail's code base as of version 0.2.21 (excluding library code): |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
675 \index{lines of code} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
676 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
677 \codeinput{input/masqmail-sloccount.txt} |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
678 |
| 391 | 679 The development costs in money are not relevant for a Free Software project with volunteer developers, but the development time is. About 24 man-months are estimated. The current code base was written almost completely by \person{Oliver Kurth} within four years in his spare time. This means he needed around twice as much time. Of course, he programmed as a volunteer developer not as an employee with eight work-hours per day. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
680 \index{Free Software projects} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
681 |
| 392 | 682 Given the assumptions that (1) an equal amount of code needs to be produced for a new designed \masqmail, (2) a third of the existing code can be reused plus concepts and knowledge, and (3) development speed is like \person{Kurth}'s, then it would take between two and three years for one programmer to produce a redesigned new \masqmail\ with the same features that \masqmail\ now has. Less time would be needed if a simpler architecture allows faster development, better testing, and less bugs. Of course, more developers would speed it up, too. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
683 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
684 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
685 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
686 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
687 \subsubsection*{Risks} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
688 \index{development!risks} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
689 |
| 381 | 690 The gained result of a new design might still outweigh the development effort. But risks are something more to consider. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
691 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
692 A redesign and rewrite of software from scratch is hard. It takes time to design a new architecture, which then must prove that it is as good as expected. As well is much time and work needed to implement the design, test it, fix bugs, and so on. If flaws in the design appear during prototype implementation, it is necessary to start again. |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
693 |
| 381 | 694 Such a redesign can fail at many points and it is long time unclear if the result is really better than the code that already exists. Even if the new code is working like expected, it is still not matured. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
695 |
| 296 | 696 One thing is clear: Doing a redesign and rebuild \emph{is} a risky decision. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
697 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
698 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
699 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
700 \subsubsection*{Existing code is precious} |
| 391 | 701 \index{existing code} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
702 |
| 296 | 703 If a new design needs much effort and additionally is a risk, what about the existing code base then? |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
704 |
| 381 | 705 Adding new functionality to an existing code base seems to be a secure and cheap strategy. The existing code is known to work and features can often be added in small increments. Risks like wasted effort if a new design fails are hardly existent, and the faults in the current design are already made and most probably fixed. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
706 |
| 396 | 707 Functionality that is hard to add incrementally into the application, like support for new protocols, may be addable to the outside. \masqmail\ can be secured to a huge amount by guarding it with wrappers that block attackers \cite[page~71]{graff03}. Spam and malware scanners can be included by running two instances of \masqmail. All those methods base on the current code which they can indirectly improve. |
| 391 | 708 \index{wrapper} |
| 709 \index{extendability} | |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
710 |
| 296 | 711 The required effort is probably under one third of a new design and work directly shows results. These are strong arguments against a new design. |
| 241 | 712 |
| 713 | |
| 296 | 714 |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
715 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
716 \subsubsection*{Repairing} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
717 \index{repair} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
718 |
| 392 | 719 Besides these advantages of existing code, one must not forget that further work on it is often repair work. Small bug fixes are not the problem, but adding something for which the software originally was not designed, will cause problems. Such work often destroys the clear concepts of the software, especially in interweaved monolithic code. |
| 381 | 720 |
| 721 \person{Doug McIlroy}, a person with important influence on Unix especially by inventing the Unix pipe, demands: ``To do a new job, build afresh rather than complicate old programs by adding new features.'' \cite{mcilroy78}. | |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
722 \index{pipe} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
723 \index{Unix} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
724 |
| 381 | 725 Repair strategies are useful, but only in the short-time view and in times of trouble. If the future is bright, however, one does best by investing into a software. As shown in section~\ref{sec:market-analysis-conclusion}, the future for \MTA{}s is bright. This means it is time to invest into a redesign with the intension to build up a more modern product. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
726 |
| 381 | 727 In the author's view is \masqmail\ already needing this redesign since about 2003 when the old design was still quite suitable \dots\ it already delayed too long. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
728 \index{masqmail!new design} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
729 |
| 296 | 730 %Clinging to much to existing code will be no help, it is an indicator for fear. Having the courage to through bad code away to make it better, shows the view forward. |
| 731 | |
| 392 | 732 Anyway, further development on base of current code needs to improve the quality properties, too. Some quality requirements can be satisfied by adding wrappers or interposition filters to the outside. For those is the development effort approximately equal to a solution with a new design. But for adding quality requirements like extendability or maintainability which affect the source code throughout, the effort does increase with exponential rate as development proceeds. In case these properties get not improved, development will likely come to a dead end sooner or later. |
| 391 | 733 \index{quality improvement} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
734 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
735 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
736 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
737 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
738 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
739 \subsubsection*{A guard against dead ends} |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
740 \index{development!dead end} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
741 |
| 296 | 742 A new design does protect against such dead ends. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
743 |
|
400
5254a119ad56
fixed all major trashing of the right margin
meillo@marmaro.de
parents:
399
diff
changeset
|
744 Changing requirements are one possible dead end if the software does not evolve with them. A famous example is \sendmail; it had an almost monopoly for a long time. But when security became important, \sendmail\ was only repaired instead of the problem sources---its insecure design---would have been removed. Thus security problems reappeared and over the years \sendmail's market share shrank as more secure \MTA{}s became available. \sendmail's reaction to the new requirements, in form of \name{sendmail~X} and \name{MeTA1}, came much to late---the users already switched to other \MTA{}s. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
745 \index{sendmail!sendmailx} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
746 \index{sendmail!meta1} |
| 391 | 747 \index{sendmail} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
748 |
|
400
5254a119ad56
fixed all major trashing of the right margin
meillo@marmaro.de
parents:
399
diff
changeset
|
749 Redesigning a software as requirements change helps keeping it alive. |
| 391 | 750 \index{redesign} |
| 381 | 751 |
|
400
5254a119ad56
fixed all major trashing of the right margin
meillo@marmaro.de
parents:
399
diff
changeset
|
752 The knowledge of \person{Heraclitus}, a Greek philosopher, shall be an inspriation: ``Nothing endures but change.'' |
|
5254a119ad56
fixed all major trashing of the right margin
meillo@marmaro.de
parents:
399
diff
changeset
|
753 |
| 393 | 754 Another danger is the dead end of complexity which is likely to appear by constant work on the same code base. It is even more likely if the code base has a monolithic architecture. A good example for simplicity is \qmail\ which consists of small independent modules, each with only about one thousand lines of code. Such simple code makes it obvious to understand what it does. The \name{suckless} project \citeweb{suckless.org} for example advertises such a philosophy of small and simple software by following the thoughts of the Unix inventors \cite{kernighan84} \cite{kernighan99}. Simple, small, and clear code avoids complexity and is thus also a strong prerequisite for security. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
755 \index{qmail} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
756 \index{suckless software} |
|
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
757 \index{Unix} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
758 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
759 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
760 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
761 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
762 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
763 \subsubsection*{Modularity} |
| 391 | 764 \index{modularity} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
765 |
| 392 | 766 The avoidance of dead ends is essential for further development on current code, too. Hence it is mandatory to refactor the existing code base sooner or later. Most important is the intention to modularize it, as modularity improves many quality properties, eases further development, and essentially improves security. |
| 254 | 767 |
|
400
5254a119ad56
fixed all major trashing of the right margin
meillo@marmaro.de
parents:
399
diff
changeset
|
768 One example how modular structure makes it easy to add further functionality is described by \person{Sill}: He says that integrating the \name{amavis} filter framework into the \qmail\ system can be done by simply renaming the \path{qmail-queue} module to \path{qmail-queue-real} and then renaming the \path{amavis} executable to \path{qmail-queue} \cite[section~12.7.1]{sill02}. Nothing more in the \qmail\ system needs to be changed. This is a very admirable ability which is only possible in a modular system that consists of independent executables. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
769 \index{qmail} |
| 391 | 770 \index{modularity} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
771 |
| 381 | 772 This thesis showed several times that modularity is a key property for good software design. Modularity can hardly be retrofitted into software, hence development on base of current code will need a throughout restructuring too, to modularize the source code. Thus a new design is similar to such a throughout refactoring, except the dependence on current code. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
773 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
774 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
775 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
776 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
777 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
778 |
| 296 | 779 \subsubsection*{Function versus quality} |
| 391 | 780 \index{quality improvement} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
781 |
| 381 | 782 Remarkable is the distribution of functional and non-functional requirements to the strategies. The strategies for current code (S\,1+2) have a functional to non-functional ratio of 10 to 3. The new design strategy (S\,3) has a ratio of 5 to 12. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
783 |
| 381 | 784 This classifies current code to be better suited for adding functionality, and a new design to be better suited for quality improvements. Both strategies need to improve function as well as quality, however, the focus of the strategy is determined by this difference. |
| 254 | 785 |
| 381 | 786 Easier work is likely to be done earlier in Free Software projects than hard work. Thus, by choosing S\,1+2 volunteer developers tend to implement function first and delay quality improvements, no matter what the suggested order of the work tasks is. S\,3, in contrast, would benefit early quality improvements and later function improvements. This is real-life experience from Free Software development. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
787 \index{Free Software projects} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
788 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
789 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
790 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
791 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
792 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
793 |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
794 \subsubsection*{Break Even} |
| 391 | 795 \index{Break Even} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
796 |
| 396 | 797 It is important to keep the time dimension in mind. This includes the separation into a short-time and a long-time view. The short-time view shall cover between two and four years, here. The long-time view is the following time. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
798 |
| 381 | 799 In the short-time view, the effort for improving the existing code is much smaller than the effort for a new design plus improvements. But to have similar quality properties at the end of the short-time frame, a version that is based on current code will probably require nearly as much effort as a new designed version will take. For all further development afterwards, the new design will scale well while the old code will require exponential more work. |
| 391 | 800 \index{existing code} |
| 296 | 801 |
| 381 | 802 In the long-time view, a restructuring for modularity is necessary anyway. The question is, when it should be done: Right at the start in a new design, or later as restructuring work. |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
803 |
| 318 | 804 %fixme: define exactly, be clear: what does ``break even'' here mean |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
805 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
806 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
807 |
|
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
808 \subsubsection*{The problem with ``good enough''} |
| 391 | 809 \index{good enough} |
| 254 | 810 |
| 381 | 811 The decision for later restructuring is problematic. Functionality is often more wanted than quality, thus more function is preferred over better quality, as quality is still ``good enough''. But it might be still ``good enough'' the next time, and the time after that one, and so on. |
| 254 | 812 |
| 381 | 813 Quality improvement is no popular work, but it is required to avoid dead ends. As more code increases the work that needs to be done for quality and modularity improvements, it is better to do these improvements early. Afterwards, all further development will profit from it. |
| 391 | 814 \index{quality improvement} |
| 254 | 815 |
| 396 | 816 If some design is bad, it should get replaced by a sane solution. |
| 254 | 817 |
| 396 | 818 \person{Doug McIlroy} gives valuable advice for these situations: ``Don't hesitate to throw away the clumsy parts and rebuild them.'' \cite{mcilroy78}. |
| 254 | 819 |
| 396 | 820 Though, making such a cut is hard, especially if the bad design is still \dots\ ``good enough''. |
| 345 | 821 |
| 254 | 822 |
| 823 | |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
824 |
| 254 | 825 |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
826 \subsubsection*{Good software, good feelings} |
| 254 | 827 |
| 381 | 828 One last argument shall be added. This one is more common to Free Software but can also be found in non-free software. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
829 \index{Free Software} |
| 254 | 830 |
| 381 | 831 Free Software ``sells'' if it has a good user base. For example: Although \qmail\ is somehow outdated and its author has not released any new version since about ten years, \qmail\ still has a very strong user base and community. |
| 391 | 832 \index{qmail} |
| 241 | 833 |
| 381 | 834 Good concepts, sound design, and a sane philosophy gives users good feelings for the software and faith in it. They become interested in using it and to contribute. In contrast do constant repaire work and reappearance of weaknesses leave a bad feeling. |
| 241 | 835 |
| 381 | 836 The motivation of most volunteer developers is their wish to do good work with the goal to create good software. Projects that follow admirable plans towards a good product will motivate volunteers to help. More helpers can get the 2,5 man-years for a new design in less absolute time done. Additionally is a good developers base the best start for a good user base, and users define a software's value. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
837 \index{development!motivation} |
| 241 | 838 |
|
267
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
839 |
|
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
840 |
|
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
841 |
|
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
842 |
|
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
843 |
|
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
844 |
|
8a6b6d941bbb
added section about goal and did some rework
meillo@marmaro.de
parents:
261
diff
changeset
|
845 |
| 241 | 846 \section{Result} |
| 847 | |
| 381 | 848 This chapter identified the requirements for a modern and secure \masqmail, and the outstanding work to achieve them. Their importance and the required work for them lead to a focus ranking, which resulted in an ordered list of pending work tasks. Afterwards possible development strategies to control the work process were compared and discussed. |
| 296 | 849 |
| 381 | 850 Strategy 3 (A new design) is slightly preferred over the combination of strategy 1 (Improve existing code) and 2 (Add wrappers and interposition filters), from the requirement's point of view. |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
851 |
| 381 | 852 The discussion afterwards did generally support the new design strategy. But some arguments stood against it. These were: |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
853 \index{development!strategy} |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
854 |
|
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
855 \begin{enumerate} |
| 391 | 856 \item The development time and effort |
| 857 \item The time delay until new features can be added | |
| 858 \item The risk of failure | |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
859 \end{enumerate} |
|
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
860 |
|
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
861 The first two arguments are only relevant for the short-time view, because both will become \emph{support arguments} for the new design, once the Break Even point is reached. |
|
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
862 |
| 381 | 863 The third argument, the risk, remains. There are risks in every investment. Taking no risks means remaining the same, which eventually means, drifting towards a dead end in a world that does change. |
| 296 | 864 |
| 865 | |
| 316 | 866 With respect to the current situation, the suggested further development plan for \masqmail\ is split into a short-time plan and a long-time plan: |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
867 \index{development!goal} |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
868 |
|
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
869 \begin{enumerate} |
| 391 | 870 \item The short-time plan: Add the most needed features, namely encryption, authentication, and security wrappers, to the current code base. |
| 871 \item The long-time plan: Design a new architecture that satisfies the modern requirements, especially the quality requirements. | |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
872 \end{enumerate} |
|
293
b4293d0b7062
much much work in ch04! especially for strategy discussion
meillo@marmaro.de
parents:
288
diff
changeset
|
873 |
| 381 | 874 The background thought for this development plan is to first do the most needed stuff on the existing code to keep it usable. This satisfies the urgent needs and removes the time pressure from the development of the new design. After this is done, a new designed \masqmail\ should be developed from scratch. This is the work for the future. It shall, after it is usable and throughout tested, supersede the old \masqmail. |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
875 |
| 381 | 876 The basics of this development idea can be described as: Recurrent development of a new design from scratch, while the old version is still in use and gets repaired. |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
877 |
| 381 | 878 Hence a modern design will inherit an old one in periodic intervals. This is a very future-proof concept that combines the best of short-term and long-term planning. The price to pay is only the increased work, which gets covered by volunteers that \emph{want} to do it. |
|
402
e57129f57faa
finished the indexing in a huge last effort
meillo@marmaro.de
parents:
400
diff
changeset
|
879 \index{development!motivation} |
|
297
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
880 |
|
39fffd8d1100
even more work on ch04 ... but it is quite finished now :-)
meillo@marmaro.de
parents:
296
diff
changeset
|
881 |