评估反垃圾邮件程序有效性的正式方法-研究论文

垃圾邮件已经成为一个严重的技术和经济问题。 到目前为止，我们已经能够通过部署补充性的反垃圾邮件方法来抵制垃圾邮件，并可以使用Internet进行常规通信。 但是，如果我们要避免失去互联网电子邮件服务这一宝贵，免费和全球性的开放式通讯媒介的危险，则反垃圾邮件活动应比目前主要是启发式，反垃圾邮件活动更系统地进行。垃圾邮件方法。 可以在其中研究垃圾邮件发送方式，反垃圾邮件方法及其有效性的正式框架，可以鼓励方法的转变，并为新的整体式反垃圾邮件方法铺平道路。 本文以有向图和确定性有限自动机的形式介绍了Internet电子邮件基础结构模型，并借鉴自动机理论来正式推论可能的垃圾邮件传递方式。 最后，评估了反垃圾邮件方法在覆盖垃圾邮件模式方面的有效性。