VariCellRepository: finalFM_mailServers.fml

File finalFM_mailServers.fml, 14.6 KB (added by taran, 5 years ago)
Line 
1FinalFM = FM(Mail_Servers: Antispam_features Authentication General_features ;
2Antispam_features: [Bayesianfilters] [SPF] [Tarpit] [Greylisting] [DNSBL] [EmbeddedAntivirus] [SURBL] [Regularexpressions] [EmbeddedAntispam] [Spamtraps] ;
3Authentication: [SMTPAUTH] [Database] [POPbeforeSMTP] [LDAP] [APOP] [Filesystem] ;
4General_features: (SMTP|POPoverTLS)+ (Filesystem_444951061|IMAP)+ (POP3|Windows|SMTPoverTLS)+ (Other|Linux_Unix|SSL)+ (License|NNTP|IPv6|Webmail)+ [MacOS] [IMAPIDLE] [ActiveSync] ;
5Bayesianfilters: [InSpamAssassin] ;
6EmbeddedAntivirus: (BitDefender|Commtouch_522835859|Viacontentfilterinterface|FSecure|ClamAVand_oroptionalany|ClamWallextension|ClamAV|Symantec|Sophos|Clamav|Authentium)? ;
7EmbeddedAntispam: (Viacontentfilterinterface_1256014698|Sophos_1812796840|Proprietary|EximACLs|And_orbuiltin|SPamAssassin|SpamAssassin|Bogofilter|Commtouch)? ;
8License: (IBMPublicLicense|GPL|GPLv2|LGPL|SendmailLicense|GPLv3|Publicdomain|OpenSource|ASLv2|Proprietary_1406449311|Mixed|Donationware|Opensource) ;
9SMTP: [External] ;
10Windows: [ViaCygwin] ;
11SMTPoverTLS: [External_1756117013] ;
12Filesystem_444951061: (Mbox|Maildir|Dbox)? ;
13Webmail: (Basic|Ajax)? ;
14(Proprietary_1406449311 -> IMAP);
15(NNTP -> !External);
16(ClamWallextension -> DNSBL);
17(GPLv2 -> !External);
18(Sophos -> DNSBL);
19(LGPL -> !Maildir);
20(Proprietary -> Other);
21(SendmailLicense -> IPv6);
22(MacOS -> !FSecure);
23(Commtouch_522835859 -> !MacOS);
24(ClamAV -> !LGPL);
25(IBMPublicLicense -> !ClamAV);
26(SURBL -> !Basic);
27(Mbox -> LDAP);
28(External -> !Basic);
29(Dbox -> IPv6);
30(FSecure -> Database);
31(Sophos -> LDAP);
32(Other -> !External);
33(GPL -> !Viacontentfilterinterface_1256014698);
34(GPLv3 -> !External);
35(EmbeddedAntivirus -> !External);
36(ViaCygwin -> LDAP);
37(Maildir -> Database);
38(GPLv3 -> Bogofilter);
39(Webmail -> !ViaCygwin);
40(Mbox -> !SendmailLicense);
41(Clamav -> OpenSource);
42(LDAP -> SSL);
43(BitDefender -> Regularexpressions);
44(Publicdomain -> !EmbeddedAntivirus);
45(Proprietary -> !Database);
46(Sophos -> Filesystem);
47(SURBL -> !FSecure);
48(ASLv2 -> !Maildir);
49(SPamAssassin -> APOP);
50(SPamAssassin -> !ClamAV);
51(Sophos_1812796840 -> Greylisting);
52(ViaCygwin -> POPbeforeSMTP);
53(SPamAssassin -> DNSBL);
54(LGPL -> !Viacontentfilterinterface);
55(Bogofilter -> !NNTP);
56(ViaCygwin -> !Dbox);
57(Proprietary -> Windows);
58(POPoverTLS -> SSL);
59(SendmailLicense -> SpamAssassin);
60(Commtouch_522835859 -> Proprietary_1406449311);
61(Mbox -> !InSpamAssassin);
62(Sophos -> SPF);
63(GPLv2 -> !Viacontentfilterinterface);
64(Commtouch -> Regularexpressions);
65(Mbox -> APOP);
66(SPamAssassin -> !Windows);
67(Maildir -> LDAP);
68(Proprietary -> !ActiveSync);
69(IPv6 -> !InSpamAssassin);
70(ViaCygwin -> SURBL);
71(Symantec -> !Greylisting);
72(Publicdomain -> !IMAP);
73(SendmailLicense -> !POP3);
74(ClamWallextension -> POPbeforeSMTP);
75(Dbox -> !External_1756117013);
76(Mixed -> MacOS);
77(SURBL -> !Sophos);
78(Symantec -> Windows);
79(OpenSource -> !Other);
80(SPamAssassin -> Greylisting);
81(ClamWallextension -> Filesystem);
82(Publicdomain -> !Bogofilter);
83(Commtouch_522835859 -> Linux_Unix);
84(Donationware -> !Database);
85(Symantec -> SURBL);
86(Mbox -> !ActiveSync);
87(Dbox -> !IBMPublicLicense);
88(Mbox -> !Bogofilter);
89(ClamAVand_oroptionalany -> !IBMPublicLicense);
90(Dbox -> !Basic);
91(Regularexpressions -> !External_1756117013);
92(Sophos_1812796840 -> LDAP);
93(Other -> !ASLv2);
94(BitDefender -> APOP);
95(ViaCygwin -> !And_orbuiltin);
96(GPLv3 -> !Other);
97(SpamAssassin -> Linux_Unix);
98(SPamAssassin -> SPF);
99(ViaCygwin -> !Mixed);
100(Clamav -> Maildir);
101(ViaCygwin -> IPv6);
102(Spamtraps -> !GPLv2);
103(SPamAssassin -> Regularexpressions);
104(Sophos_1812796840 -> APOP);
105(Other -> SMTPAUTH);
106(GPLv2 -> !Tarpit);
107(GPL -> ViaCygwin);
108(EximACLs -> POPbeforeSMTP);
109(Clamav -> SPF);
110(Maildir -> IPv6);
111(FSecure -> Regularexpressions);
112(Clamav -> Tarpit);
113(Mixed -> !SMTP);
114(IBMPublicLicense -> !External);
115(Filesystem -> !GPLv2);
116(SPamAssassin -> POPbeforeSMTP);
117(Spamtraps -> !Basic);
118(Sophos -> Other);
119(NNTP -> POP3);
120(Donationware -> ClamWallextension);
121(Bogofilter -> !Maildir);
122(Maildir -> IMAPIDLE);
123(ViaCygwin -> !Maildir);
124(OpenSource -> Database);
125(LGPL -> Webmail);
126(Bogofilter -> ClamAV);
127(ClamWallextension -> !Database);
128(BitDefender -> !NNTP);
129(NNTP -> !Viacontentfilterinterface);
130(Publicdomain -> !IMAPIDLE);
131(ClamAV -> MacOS);
132(Sophos_1812796840 -> POPbeforeSMTP);
133(Donationware -> !Other);
134(Dbox -> !Windows);
135(Mbox -> !SMTP);
136(Clamav -> !ActiveSync);
137(ActiveSync -> !Viacontentfilterinterface);
138(Proprietary -> !Tarpit);
139(ViaCygwin -> Greylisting);
140(Windows -> !Viacontentfilterinterface);
141(Proprietary -> DNSBL);
142(Commtouch -> POPoverTLS);
143(ViaCygwin -> !Other);
144(Ajax -> !Database);
145(Bogofilter -> !Windows);
146(Ajax -> !NNTP);
147(Dbox -> !Greylisting);
148(ViaCygwin -> DNSBL);
149(POPoverTLS -> !GPL);
150(Greylisting -> !LGPL);
151(Proprietary_1406449311 -> !Maildir);
152(FSecure -> POPbeforeSMTP);
153(Mbox -> Filesystem);
154(ASLv2 -> Linux_Unix);
155(APOP -> !Bogofilter);
156(Proprietary -> Proprietary_1406449311);
157(Spamtraps -> !External);
158(EximACLs -> !NNTP);
159(NNTP -> !GPL);
160(Sophos_1812796840 -> SPF);
161(BitDefender -> SURBL);
162(Dbox -> !Opensource);
163(BitDefender -> Filesystem);
164(Symantec -> DNSBL);
165(GPL -> !IMAPIDLE);
166(GPLv2 -> !POP3);
167(MacOS -> !Commtouch);
168(SendmailLicense -> ClamAV);
169(Viacontentfilterinterface_1256014698 <-> Viacontentfilterinterface);
170(Commtouch_522835859 -> POPoverTLS);
171(EximACLs -> !Other);
172(Mixed -> !Viacontentfilterinterface);
173(And_orbuiltin <-> ClamAVand_oroptionalany);
174(Dbox -> !NNTP);
175(Maildir -> MacOS);
176(Spamtraps -> !Symantec);
177(Greylisting -> !ASLv2);
178(IMAP -> !Viacontentfilterinterface_1256014698);
179(External_1756117013 -> !MacOS);
180(Sophos_1812796840 -> Database);
181(GPLv3 -> !ActiveSync);
182(POPbeforeSMTP -> !And_orbuiltin);
183(Sophos -> Regularexpressions);
184(LGPL -> Filesystem);
185(Symantec -> Filesystem);
186(Webmail -> SMTPAUTH);
187(Authentium -> Other);
188(FSecure -> Linux_Unix);
189(Sophos_1812796840 -> !NNTP);
190(POPoverTLS -> POP3);
191(ClamAVand_oroptionalany -> !Opensource);
192(POPoverTLS -> !SendmailLicense);
193(ViaCygwin -> !POP3);
194(Filesystem -> !And_orbuiltin);
195(Commtouch_522835859 -> Other);
196(LGPL -> Linux_Unix);
197(NNTP -> !Basic);
198(Windows -> SSL);
199(POPbeforeSMTP -> !Mbox);
200(And_orbuiltin -> !LGPL);
201(ViaCygwin -> !IMAPIDLE);
202(ClamAVand_oroptionalany -> !NNTP);
203(Other -> !Publicdomain);
204(Sophos_1812796840 -> Other);
205(SPF -> !Proprietary);
206(LDAP -> !Publicdomain);
207(ViaCygwin -> !Opensource);
208(Sophos_1812796840 -> POPoverTLS);
209(EximACLs -> DNSBL);
210(Basic -> InSpamAssassin);
211(Bogofilter -> DNSBL);
212(Other -> !Bogofilter);
213(Mbox -> !Proprietary_1406449311);
214(Sophos -> Linux_Unix);
215(Dbox -> !POPbeforeSMTP);
216(Sophos_1812796840 -> Filesystem);
217(SPamAssassin -> !BitDefender);
218(Proprietary -> !POPbeforeSMTP);
219(APOP -> !GPLv2);
220(ClamAVand_oroptionalany -> !Database);
221(Sophos_1812796840 -> !ActiveSync);
222(ClamAV -> Filesystem);
223(Authentium -> Greylisting);
224(InSpamAssassin -> !Filesystem_444951061);
225(APOP -> !IBMPublicLicense);
226(ViaCygwin -> APOP);
227(APOP -> !Viacontentfilterinterface_1256014698);
228(ActiveSync -> POPoverTLS);
229(External <-> External_1756117013);
230(ClamAV -> Linux_Unix);
231(SPamAssassin -> !ActiveSync);
232(Opensource -> !Maildir);
233(SpamAssassin -> !FSecure);
234(ASLv2 -> NNTP);
235(ViaCygwin -> SPF);
236(FSecure -> POPoverTLS);
237(ClamWallextension -> !IBMPublicLicense);
238(Authentium -> Tarpit);
239(IBMPublicLicense -> !POP3);
240(SPamAssassin -> !Maildir);
241(SpamAssassin -> !GPL);
242(Mbox -> MacOS);
243(ViaCygwin -> !IMAP);
244(Other -> !GPLv2);
245(SPamAssassin -> Tarpit);
246(Dbox -> IMAPIDLE);
247(Mbox -> !NNTP);
248(SURBL -> !GPLv2);
249(Mixed -> !Bogofilter);
250(Sophos -> !MacOS);
251(ViaCygwin -> Linux_Unix);
252(Commtouch_522835859 -> LDAP);
253(EximACLs -> Proprietary_1406449311);
254(ViaCygwin -> Database);
255(SPamAssassin -> Proprietary_1406449311);
256(Authentium -> Commtouch);
257(Commtouch -> Webmail);
258(SpamAssassin -> SMTPAUTH);
259(Proprietary -> APOP);
260(Mbox -> !Greylisting);
261(Clamav -> Spamtraps);
262(FSecure -> LDAP);
263(Commtouch_522835859 -> SPF);
264(Bogofilter -> !ActiveSync);
265(Clamav -> Webmail);
266(OpenSource -> Linux_Unix);
267(Mixed -> Linux_Unix);
268(SpamAssassin -> !NNTP);
269(External_1756117013 -> !Greylisting);
270(Clamav -> DNSBL);
271(Commtouch -> Proprietary_1406449311);
272(Ajax -> !Spamtraps);
273(Maildir -> APOP);
274(SPamAssassin -> Database);
275(LGPL -> MacOS);
276(InSpamAssassin -> !Tarpit);
277(Commtouch_522835859 -> APOP);
278(Sophos_1812796840 -> Spamtraps);
279(Symantec -> Webmail);
280(Symantec -> Regularexpressions);
281(Publicdomain -> !SSL);
282(ASLv2 -> Database);
283(Mixed -> POPoverTLS);
284(ViaCygwin -> MacOS);
285(EximACLs -> Tarpit);
286(FSecure -> Greylisting);
287(EximACLs -> ClamAV);
288(Mixed -> !ClamAV);
289(Commtouch -> LDAP);
290(ActiveSync -> !Maildir);
291(Webmail -> SSL);
292(Proprietary -> Greylisting);
293(LGPL -> !ActiveSync);
294(SPamAssassin -> Linux_Unix);
295(SMTPoverTLS -> SMTPAUTH);
296(Authentium -> !NNTP);
297(ViaCygwin -> !SendmailLicense);
298(FSecure -> Proprietary_1406449311);
299(Sophos -> APOP);
300(ActiveSync -> !FSecure);
301(Filesystem -> !Basic);
302(Commtouch -> APOP);
303(Donationware -> !LDAP);
304(SPamAssassin -> POPoverTLS);
305(Mbox -> !Other);
306(SPamAssassin -> Spamtraps);
307(Sophos -> POPoverTLS);
308(Mbox -> !Symantec);
309(SpamAssassin -> !GPLv2);
310(ASLv2 -> LDAP);
311(Publicdomain -> !Windows);
312(Sophos_1812796840 -> !Maildir);
313(Mbox -> IMAPIDLE);
314(FSecure -> APOP);
315(Dbox -> !SMTPAUTH);
316(SpamAssassin -> !IBMPublicLicense);
317(Bogofilter -> POPoverTLS);
318(Proprietary -> POPoverTLS);
319(InSpamAssassin -> !MacOS);
320(GPLv2 -> LDAP);
321(OpenSource -> !Viacontentfilterinterface_1256014698);
322(Bogofilter -> Regularexpressions);
323(LGPL -> POPoverTLS);
324(SPamAssassin -> LDAP);
325(POPbeforeSMTP -> !InSpamAssassin);
326(EximACLs -> IMAPIDLE);
327(SpamAssassin -> !Sophos);
328(OpenSource -> LDAP);
329(GPLv2 -> Linux_Unix);
330(FSecure -> Filesystem);
331(Opensource -> Database);
332(GPLv3 -> !Spamtraps);
333(SpamAssassin -> !BitDefender);
334(SURBL -> !External);
335(Proprietary -> !MacOS);
336(Opensource -> !ActiveSync);
337(Dbox -> Linux_Unix);
338(Authentium -> Linux_Unix);
339(Maildir -> Filesystem);
340(Windows -> SMTPAUTH);
341(ClamAV -> !Maildir);
342(External_1756117013 -> !Tarpit);
343(Publicdomain -> POP3);
344(ClamAV -> !Windows);
345(IMAP -> !SendmailLicense);
346(Authentium -> !ActiveSync);
347(SURBL -> !Proprietary);
348(ClamWallextension -> !MacOS);
349(Mixed -> Database);
350(GPLv2 -> Database);
351(Sophos -> Tarpit);
352(Sophos -> Proprietary_1406449311);
353(Commtouch_522835859 -> Regularexpressions);
354(Filesystem -> !Authentium);
355(Mixed -> !Greylisting);
356(Webmail -> IMAP);
357(POPbeforeSMTP -> !Viacontentfilterinterface_1256014698);
358(Filesystem -> !InSpamAssassin);
359(ClamAV -> LDAP);
360(Mbox -> !Opensource);
361(ClamWallextension -> APOP);
362(Mbox -> Database);
363(Symantec -> SPF);
364(Proprietary -> !NNTP);
365(SPF -> !GPLv2);
366(Dbox -> Filesystem);
367(Clamav -> Greylisting);
368(FSecure -> Tarpit);
369(ClamAV -> SMTPAUTH);
370(APOP -> !SendmailLicense);
371(Opensource -> MacOS);
372(SPamAssassin -> Filesystem);
373(ViaCygwin -> Tarpit);
374(Opensource -> LDAP);
375(Publicdomain -> !POPoverTLS);
376(ClamWallextension -> !NNTP);
377(Other -> !BitDefender);
378(Sophos_1812796840 -> !SURBL);
379(Mbox -> Linux_Unix);
380(BitDefender -> SPF);
381(EximACLs -> Spamtraps);
382(Sophos_1812796840 -> Linux_Unix);
383(SendmailLicense -> POPbeforeSMTP);
384(Opensource -> Linux_Unix);
385(Proprietary -> Webmail);
386(Bogofilter -> SURBL);
387(Clamav -> !SpamAssassin);
388(Dbox -> APOP);
389(GPLv2 -> Webmail);
390(Mixed -> !POPbeforeSMTP);
391(EximACLs -> Regularexpressions);
392(Mixed -> Filesystem);
393(Bogofilter -> !Opensource);
394(Authentium -> Spamtraps);
395(BitDefender -> DNSBL);
396(MacOS -> !GPLv2);
397(Ajax -> !SURBL);
398(Viacontentfilterinterface_1256014698 -> !POP3);
399(Commtouch -> Database);
400(Proprietary -> !LDAP);
401(IPv6 -> !External_1756117013);
402(Mbox -> !IBMPublicLicense);
403(LGPL -> Database);
404(Commtouch_522835859 -> Greylisting);
405(ViaCygwin -> Spamtraps);
406(Publicdomain -> Linux_Unix);
407(InSpamAssassin -> ActiveSync);
408(Sophos -> POPbeforeSMTP);
409(Bogofilter -> SPF);
410(ClamAV -> !NNTP);
411(Mixed -> !ActiveSync);
412(LGPL -> LDAP);
413(Maildir -> POPoverTLS);
414(Publicdomain -> Greylisting);
415(ActiveSync -> SMTPAUTH);
416(ClamWallextension -> POPoverTLS);
417(Proprietary_1406449311 -> !Bogofilter);
418(DNSBL -> !GPLv2);
419(Sophos_1812796840 -> Regularexpressions);
420(Sophos_1812796840 -> !MacOS);
421(SPamAssassin -> Other);
422(Clamav -> Regularexpressions);
423(SURBL -> !InSpamAssassin);
424(EximACLs -> ActiveSync);
425(Commtouch -> DNSBL);
426(SPamAssassin -> !NNTP);
427(ClamWallextension -> Windows);
428(ClamWallextension -> !Other);
429(BitDefender -> POPoverTLS);
430(SPF -> !External);
431(Dbox -> LDAP);
432(Mixed -> APOP);
433(Proprietary -> Linux_Unix);
434(EximACLs -> SURBL);
435(Clamav -> POPbeforeSMTP);
436(Sophos_1812796840 -> Proprietary_1406449311);
437(Opensource -> Filesystem);
438(POPbeforeSMTP -> !GPLv2);
439(POPoverTLS -> IMAP);
440(IBMPublicLicense -> !IMAP);
441(FSecure -> SPF);
442(BitDefender -> Proprietary_1406449311);
443(BitDefender -> !Maildir);
444(Donationware -> !ActiveSync);
445(InSpamAssassin -> !NNTP);
446(Sophos -> Spamtraps);
447(FSecure -> Spamtraps);
448(InSpamAssassin -> Commtouch_522835859);
449(Filesystem -> !Proprietary);
450(LGPL -> APOP);
451(Maildir -> Linux_Unix);
452(Bogofilter -> POPbeforeSMTP);
453(Mbox -> !SMTPAUTH);
454(SpamAssassin -> !Maildir);
455(NNTP -> !Commtouch);
456(ASLv2 -> Windows);
457(Dbox -> Database);
458(FSecure -> Webmail);
459(Proprietary -> !Spamtraps);
460(SPamAssassin -> !MacOS);
461(Dbox -> MacOS);
462(ViaCygwin -> Regularexpressions);
463(Bogofilter -> IPv6);
464(ASLv2 -> MacOS);
465(ASLv2 -> POPoverTLS);
466(Publicdomain -> MacOS);
467(EximACLs -> !Maildir);
468(EximACLs -> APOP);
469(InSpamAssassin -> !Spamtraps);
470(BitDefender -> LDAP);
471(POPbeforeSMTP -> !IBMPublicLicense);
472(Symantec -> LDAP);
473(Sophos -> !ActiveSync);
474(ClamWallextension -> !Linux_Unix);
475(Greylisting -> !GPLv2);
476(Symantec -> !Maildir);
477(FSecure -> DNSBL);
478(Commtouch_522835859 -> !NNTP);
479(Sophos -> !NNTP);
480(Commtouch_522835859 -> DNSBL);
481(ViaCygwin -> !IBMPublicLicense);
482(Proprietary_1406449311 -> SMTPAUTH);
483(Mbox -> IPv6);
484(FSecure -> Other);
485(Mixed -> LDAP);
486(ClamAV -> Greylisting);
487(BitDefender -> !MacOS);
488(Dbox -> POPoverTLS);
489(Other -> !LGPL);
490(Ajax -> !Filesystem);
491(Mixed -> !Other);
492(POPbeforeSMTP -> !LGPL);
493(InSpamAssassin -> SpamAssassin);
494(Other -> !Maildir);
495(GPLv2 -> Regularexpressions);
496(DNSBL -> !External);
497(SpamAssassin -> !LGPL);
498(SMTPoverTLS -> SSL);
499(Sophos_1812796840 -> Tarpit);
500(ClamAV -> Database);
501(Database -> !Basic);
502(Ajax -> InSpamAssassin);
503(Sophos -> Greylisting);
504(IMAPIDLE -> IMAP);
505(SpamAssassin -> LDAP);
506(Sophos -> Database);
507(SPamAssassin -> !SURBL);
508(Authentium -> POPbeforeSMTP);
509(LDAP -> !And_orbuiltin);
510(SpamAssassin -> !ViaCygwin);
511(Bogofilter -> Tarpit);
512(Mixed -> !SMTPAUTH);
513(Proprietary_1406449311 -> POP3);
514(ClamWallextension -> Greylisting);
515(Symantec -> Proprietary_1406449311);
516(ClamWallextension -> !LDAP);
517(Symantec -> ActiveSync);
518(Spamtraps -> !Bogofilter);
519(InSpamAssassin -> !Database);
520(SpamAssassin -> Greylisting);
521(NNTP -> !FSecure);
522(Commtouch -> SPF);
523(ClamWallextension -> !ActiveSync);
524(Webmail -> !Mbox);
525(Authentium -> SURBL);
526(Symantec -> Database);
527(ViaCygwin -> Filesystem);
528(Mbox -> POPoverTLS);
529(Sophos_1812796840 -> DNSBL);
530(Mixed -> IMAPIDLE);
531(EximACLs -> SPF);
532(Mixed -> !NNTP);
533(ASLv2 -> !ActiveSync);
534(Mixed -> IPv6);)