SPI的邮件加密系统及其Petri网模型安全分析

摘要：

为实现与协议无关的电子邮件安全传输,提出了基于SPI技术安全邮件实现方案。针对邮件传输的非点对点方式、邮件协议与格式多样化所带来的两个关键问题提出了相应的解决办法,并用Petri网理论对系统进行形式化分析,结果显示本文给出的SPI技术方案是安全的。

关键词： 电子邮件 信息安全 Petri网 加密系统

作者: 姚佶超 吕玉琴 韩喆 刘刚

作者单位: 北京邮电大学电子工程学院,北京,100876,中国

会议类型: 国内会议

会议名称: 2008北京青年通信科技论坛

会议地点: 北京

会议语种:中文

页码: 285-292

在线出版日期: 2008-10-01（万方平台首次上网日期，不代表论文的发表时间）