论文部分内容阅读
首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。
基于串空间模型的Andrew RPC协议的分析与验证
【摘 要】
：
首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。
【机 构】
：
郑州大学信息工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年13期
其他文献
背景：隐性失血是全膝关节置换后最重要的并发症之一,但目前对其发生机制及影响因素的了解尚不明确。目的：分析单侧初次人工全膝关节置换后隐性失血的相关影响因素。方法：回顾分
法律需要解释才能获得生命力,无论是法律条文的完善,还是不确定概念的价值补充,抑或是狭义上的法律解释都是法律解释。法律解释结果的多样性是司法过程中不可避免的问题,此时
根植于网络技术的各种新媒体以其搭载信息丰富、传播迅速、互动性强等优势,向传统媒体发起了深刻且不可逆的挑战和冲击。互联网新技术持续对媒体格局、舆论生态、受众对象产
在对Mediator／Wrapper集成系统及其查询特点进行详细分析的基础上，针对涉及多个数据源的连接查询是使用频率较高且是查询代价最高的一种查询方式这一事实，确定了以全局连接查询
小学数学的学习过程中,小学生们对数学运算和数学知识的认知较为困难,需要教师在数型结合思想中对学生开展知识渗透,本文主要论述了小学数学教学中数型结合的基本概念和其重
通过引入信息熵和条件信息熵，对信息系统中属性的必要性进行了定义，提出了一种基于条件信息熵的属性约简启发式算法。通过引入相对正域，有效地解决了不一致系统属性约简过程中产
5月18日，中国联通宣布正式加入谷歌组建的开放手机联盟（OHA），双方将在中国市场合作推出支持Android平台的手机设备和基于Android平台开发的移动服务。前一日，中国移动公开展示了首
糖尿病患者发生心血管病的危险性是非糖尿病个体的2～5倍,糖尿病已被认为是冠心病的等危症。本研究分析了急性冠脉综合征合并糖尿病、糖耐量异常患者的临床表现和冠状动脉（冠脉）
在摩托罗拉的分拆终于落下帷幕后，对以新面孔出现的摩托罗拉移动技术公司来说，“自食其力”并不是一件坏事，风险大的同时回报也将更丰厚