论文部分内容阅读
该论文中,作者使用模型检查(model checking)方法来形式化地分析安全协议中认证协议的性质,目的是帮助协议设计和分析人员发现认证协议中隐藏的漏洞.
认证协议的形式化分析方法研究
【摘 要】
：
该论文中,作者使用模型检查(model checking)方法来形式化地分析安全协议中认证协议的性质,目的是帮助协议设计和分析人员发现认证协议中隐藏的漏洞.
【机 构】
：
中国科学院软件研究所
【出 处】
：
中国科学院软件研究所
【发表日期】
：
1999年期
其他文献
在研究了ARC/INFO的地址编码技术的基础上,作者对地址编码技术进行了重新研制设计,开发了针对中国地址命名情况的地址编码功能,包括空间数据检测、建立地址索引、基于矢量数
该文是开发一个基于关联规则的数据采掘工具,提出的一个系统设计方案和对其中关键技术所作的探索,为决策提供支持.该文在对数据采掘进行了严格分析定义以后,设计了一个既能适
该文通过对CORBA体系结构和建筑行业管理需求的分析,提出了基于CORBA体系结构的 建筑市场管理系统模型,对原有原客户/服务器模式的建筑市场管理系统进行改进.该文主 要论述了
该文主要研究了非限定文本的话者辨认方法和随机提示文本的话者确认方法.研究内容包括:1.话者的语音特征提取方法;2.话者识别的算法;3.信道补偿技术;4.多通信息融合技术.
从发展的角度来看,未来的工业设备、家用电器和通讯设备,都离不开嵌入式计算机.这是发展的必然趋势.嵌入式计算机是智能控制设备的心脏,嵌入式实时操作系统则是嵌入计算机的
该论文在细分类候选字的基础上,根据候选字的实际情况以及韩谚文的组成特点,提出了基于相似字母表的,结构引导下的韩谚文细分类判别方法,取得了较好的效果.该论文的主要工作
该文工作以国家"九五"重点科技攻关专题"基于构件/构架模式的应用软件集成环 境---青鸟Ⅲ型系统"为背景.结合Internet和Web技术,作者设计并实现了基于WWW的青鸟 构件库系统,
计算机持持的协同工作(Conputer Supported Cooperative Work)是指地域分散的一 个群体借助及其网络技术,共同协调与协作来完成一项任务.它包括群体工作方式研究和支持群体工
该文给出了可以在计算机上编程实现的信念修正的一种方法,称为信念归结;设计了基于这种方法的一个原型系统;最后讨论了如何将信念修正的成果应用到算法设计自动化中.