论文部分内容阅读
SMV是分析有限状态系统的一种工具,三方密码协议运行模式分析法是分析密码协议的有效方法之一。为了说明这种方法的可行性,使用三方密码协议运行模式分析法,并借助状态探测工具SMV分析了TMN密码协议,并成功地找到了对TMN协议的19种攻击。
TMN密码协议的SMV分析
【摘 要】
：
SMV是分析有限状态系统的一种工具,三方密码协议运行模式分析法是分析密码协议的有效方法之一。为了说明这种方法的可行性,使用三方密码协议运行模式分析法,并借助状态探测工
【机 构】
：
中国科学院研究生院信息安全国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2005年08期
其他文献
<正>一、人民币硬币沉淀积压现状。随着我国经济的发展,为了方便货币流通和改善流通中人民币面貌,人民银行陆续发行了面值一角、五角和一元的硬币,据对三原县调查,目前存在着
本文通过对农村流通现代化背景下的人才需求分析,根据农村流通现代化背景下的电子商务人才需求特点,分析新农村电子商务人才培养的素质要求,提出适合新农村电子商务人才培养
综述了近10年来针灸疗法治疗腰椎间盘突出症(LIDP)的临床与实验研究概况,按不同的针法、灸法、针刺综合疗法进行概括,在分析了针灸疗法治疗LIDP的临床与实验研究概况的基础上
荣获诺贝尔经济学奖的B-S期权定价公式是所有金融应用领域数学上最复杂的问题之一,而EXCEL中VBA可以进行各种高级金融建模及各种复杂程序计算,本文将详细介绍怎样利用EXCEL去
这项来自美国通用汽车的业务,可不仅仅是提供导航,说它是"拯救生命"的技术,其实一点也不为过。不过,若想成功占领中国市场,还需要再认真研究中国消费者的心理
农民专业合作社作为一个新型的合作经济组织,是促进农民增收致富的重要途径。本文调查分析察布查尔县农民专业合作社发展现状及其给农民带来的收益以及存在的问题,并提出有效
城市化作为人类活动对水循环影响的重要表现形式，一方面通过改变下垫面属性，对地表产汇流特征产生直接影响，另一方面通过地表能量分配及其他城市环境要素（如气溶胶，人为热源等）改变
《中国新文学大系·导言集》(1917-1927)中各具特色的十篇导言,其研究方法及研究视野,不仅远远超出了导言的导读功能,而且甚具学术价值,对现代文学的学术研究写作有着深远的
网络银行诞生于20世纪九十年代,是信息网络技术进步与金融创新相结合的产物,对于银行业发展与创新具有很重大的意义。本文通过对网络银行的涵义、网络银行监管的法理基础及我
2005年,我国在部分省(市)开始村镇银行、贷款公司、农村资金互助社、小额贷款公司等新型农村金融组织的试点工作。2007年在全国范围开展新型农村金融组织的推广工作,推动农村