×

兹马思-数学第一资源

AnZenMail:一个安全且经过认证的电子邮件系统。(英语) Zbl 1033.68511号
Okada,Mitsuhiro(编辑)等人,《软件安全——理论与系统》。Mext NSF JSPS国际研讨会,ISSS 2002,日本东京,2002年11月8日至10日。修订文件。柏林IS540-003。选择。笔记计算。科学。2609201-216(2003年)。
小结:我们正在开发一个安全且经过认证的电子邮件系统AnZenMail,它为我们先进的安全增强技术提供了一个实验平台。除了一个可证明安全的消息传输协议外,我们还设计并实现了一个服务器(MTU)和一个客户端(MUA),以便它们能够在最近的恶意攻击(如服务器破解和电子邮件病毒)中生存。AnZenMail服务器是用Java(一种内存安全语言)实现的,因此它不受堆栈破坏。它的一些安全属性已经在Coq中得到了正式的验证,主要是在源代码级别,通过手动将Java方法转换成Coq函数。AnZenMail客户端旨在为作为电子邮件附件的移动代码的安全执行提供支持。它有插件接口用于代码检查和执行模块,如静态分析工具、运行时/内联引用监视器和反病毒引擎,这些都是我们研究项目的成员正在开发的。
整个系列请参见[Zbl 1017.00039].
理学硕士:
68米10 计算机系统中的网络设计与通信
68页25页 数据加密(计算机科学方面)
68M12 网络协议
PDF格式 BibTeX公司 XML 引用
全文: 链接