论文部分内容阅读
安全通信协议是公钥基础设施PKI的重要组成部分，实现PKI各构件之间的在线交互，身份认证，消息完整性及保密性，该文首先介绍X．509 PKI的基本结构，然后提出一套安全协议解决方案，并用BAN逻辑对协议进行安全性证明。
Internet X.509 PKI安全通信协议设计与证明
【摘 要】
：
安全通信协议是公钥基础设施PKI的重要组成部分，实现PKI各构件之间的在线交互，身份认证，消息完整性及保密性，该文首先介绍X．509 PKI的基本结构，然后提出一套安全协议解决方案，并用B
【机 构】
：
解放军信息工程大学,北京大学
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年1期
其他文献
“以演促教，以演促练，教练相长”是高职院校音乐专业普遍采用的实践教学模式。基础和声是最先投入到教学改革的实践大潮中的音乐类课程。本文分三部分论述基础和声课程“以演促
为了在小学英语教学中实现立德树人的目标,笔者尝试开展主题性意义探究活动,形成“主题-探究-评价”活动课教学模式,探究通过学科融合、补充拓展,在单篇课文和单元学习的主题
2001年底美国最大的能源交易商--安然(ENRON)公司会计造假案事发,并申请破产,引起了美国资本市场的极大恐慌.进入2002年公司财务丑闻更是像传染病一样,在上市公司中迅速蔓延,
利用连续清查的两期固定样地的资料，对下一期林木直径分布的各径级比例和株数、枯损比例和总株数、进界木株数以及从一个径级转移到另一个径级的株数等参数，本研究给出了各参数
私小说是日本文学史中的一个支流,主要以作者个人及身边琐事为题材,对封闭的个人内心进行描写,是一种至纯形式的小说,也是日本文学史上特有的文学形式。论文通过对日本私小说
改革开放以来的二十多年中 ,我国私营企业发展迅速 ,成为我国以公有制为主体多种所有制并存中的一种重要形式。私营企业在其发展中 ,多半采用家族的企业形式。这种企业形式 ,
目的分析达芬奇机器人肺叶切除术的护理配合和效果。方法本次研究选取2016年1月~2018年1月来我院接受肺叶切除术治疗的患者100例进行对比研究。分组以随机数字法为主,常规组
通过实验，以庭院菊花的Ｓｐｒａｙ菊花品种作母系，对其进行低剂量核分裂中子照射，发现照射组与非照射组生根率有明显差异。基于实验结果，提出促进生长及抑制生长的原因都在于细胞的死亡，得出
为了贯彻国务院《关于在国民经济调整时期加强环境保护工作的决定》,云南沾益化肥厂最近召开了第一次环保工作会议,总结经验,切实抓好环境保护工作。该厂自去年建成投产以来,
生态经济综合开发是指在特定的农村生态经济地域范围内,对没有被利用或利用不充分的资源,通过现代科技、设备、智力、生产和经济活动,进行不同形态的再投入,其形成新的生产能