【摘 要】
：
协议是网络运行的基础。在实际应用中,由于安全协议设计的复杂性,导致协议常常难 以达到所需的安全性。因此安全协议的分析突显其重要的一面,形式化分析方法是当前的研究热点
论文部分内容阅读
协议是网络运行的基础。在实际应用中,由于安全协议设计的复杂性,导致协议常常难 以达到所需的安全性。因此安全协议的分析突显其重要的一面,形式化分析方法是当前的研究热点。本 文使用基于C-半环理论的软限制来分析协议的安全性。在该分析方法中把安全并不看作是简单的布尔 属性,而是划分了安全等级,因而这种分析方法更有效。
Agreement is the basis of network operation. In practice, due to the complexity of security protocol design, it is often difficult for the protocol to achieve the required security. Therefore, the analysis of security protocols highlights its important aspect. Formal analysis methods are the current research hotspot. This paper uses the soft limit based on the C-half-loop theory to analyze the protocol security. In this method of analysis, security is not considered as a simple Boolean attribute, but the security level is divided, so this method of analysis is more effective.
其他文献
目的评价尿激酶(UK)静脉溶栓治疗急性脑梗死的临床疗效及安全性。方法65例急性脑梗死患者随机双盲分为溶栓组和对照组,溶栓组32例给予尿激酶150万单位静滴,对照组33例给予安
目的 :本文探讨X线平片对诊断肺包虫病的价值。材料与方法 :本院近三年来 91例肺包虫病患者均摄X线平片 ,Casoni皮内试验 ,且均经手术病理证实 ,并结合文献探讨。结果 :肺包
在2010年报刊大收订中,安徽省滁州市邮政局认真践行“更新一点,再快一点”的企业核心理念,积极寻找报刊发行市场新的营销切入点,对“第三方订阅”市场进行了大力开发。该局与
笔者从基因与胃肠动力障碍性疾病相关研究进展出发,指出了胃食管反流病,贲门失弛缓症、先天性巨结肠的病理、病因,分析了老龄化胃肠道功能紊乱的相关基因.
农者得一宝石,巨如鸡卵,竟呈县管,献与国之王者。县管有私,以金卵一呈市管;市管又有私,呈上者为银卵一……王者所得,真真鸡卵矣!王者有感民心,赐农者万金。于是万金成千金,成
Oddi氏括约肌是调节胆汁流动的重要结构,近年来随着对Oddi氏括约肌运动功能紊乱的深入研究,众多学者开始关注Oddi氏括约肌的运动功能及影响因素,本文就这方面的研究进展作一
目的 研究肠易激综合征 (IBS)患者的肠嗜铬(EC)细胞及其合成和储存 5 HT的功能变化。方法 按罗马Ⅱ诊断标准 ,并依其分型标准区分腹泻型及便秘型IBS。取IBS患者肠镜活检标
原发性胆汁性肝硬化(PBC)是一种可能由自身免疫反应引起的以肝内胆管进行性破坏为特点的特发性肝病。新近有报道苯扎贝特治疗PBC有效。非诺贝特与苯扎贝特同属贝特类降脂药,
九月注定是相遇的时光。这个肉豆须与丝瓜藤错综缠绕的时节,在欢送走酷暑之后,迎来了凉秋——秋天与夏天初相遇。这是自然节令上的九月。学习节令上的九月也是一个初相遇的频
毫无疑问,这个冬天有点冷。许多企业纷纷采取措施以求平稳渡过寒冬。优酷网CEO古永锵说:“寒冬袭击,拥有好身体、厚衣服并且常锻炼的企业才能赢得未来。”对于刚刚在运营模式