论文部分内容阅读
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。
CCITT X.509协议的形式化分析及其改进
【摘 要】
：
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法。概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析。该协议存在缺陷并对此进行了改进。
【机 构】
：
湖北师范学院数学与统计学院,湖北师范学院计算机科学与技术学院
【出 处】
：
计算机安全
【发表日期】
：
2012年06期
【基金项目】
：
湖北省自然科学基金NO.2006ABA056, 湖北省教育厅重点项目NO.D20092203,湖北省教育厅青年项目NO.Q20102503
其他文献
卫生部推出“以病人为中心，以提高医疗服务质量为主题”的“医院管理年”活动，其核心是质量问题。只有努力练好内功．提高医疗质量，才能为人民群众提供优质的医服务。何谓质量？医疗
8月11日，玉林市召开城镇污水生活垃圾处理设施建设工作会议。会议强调，动员全市力量，用三年时问完成全市污水生活垃圾处理设施建设任务。
哺乳动物性别决定的遗传机制到目前为止仍然没有弄清楚。人类和小鼠的y连锁及x连锁锌指基因(Zincfingergenes)已经克隆出来,且被确认。最初认为y连锁锌指基因是睾丸决定因子(
借助太阳能实现公厕用电，此项技术日前在北京海淀区阜石路北辅路达标公厕得到了应用。使用太阳能发电，是海淀区环卫中心向建设生态节能型环卫设施迈出的重要一步。
3月5日，列为南宁市2007年度为民办实事项目之一的七一总渠全线改造工程开工建设。该工程建成后，南宁的城市内涝情况将大大缓解，以前因降雨而“水浸街”造成交通阻断的现象将不再