【摘 要】
：
协议安全是确保网络数据安全的基础。传统的基于观察的人工分析协议安全性分析已不能满足安全需求。如何研究安全协议及安全属性的性质，使两者在统一框架下实现可分析和验证是
论文部分内容阅读
协议安全是确保网络数据安全的基础。传统的基于观察的人工分析协议安全性分析已不能满足安全需求。如何研究安全协议及安全属性的性质，使两者在统一框架下实现可分析和验证是亟待解决的问题，形式化分析为解决这一问题提供了精确的数学手段和强大的分析工具。对已有的安全协议形式化分析方法进行了归纳和总结，并从等价验证、协议优化和增强分析准确度三方面提出了未来的研究设想。
其他文献
目的:探讨循证护理在缺氧缺血性脑病新生儿护理中的应用效果。方法:将74例缺氧缺血性脑病新生儿随机分为观察组和对照组各37例,对照组给予常规护理,观察组给予循证护理,将两
以峨眉山景区公路对门山滑坡群为例，利用离散元软件UDEC模拟分析了红层边坡在降雨前后的稳定性，其安全系数均大于1．2，但应控制岩层结构面的抗剪强度，以利于滑坡体稳定。
介绍氯气处理工艺流程。氯水洗涤塔板式换热器在生产中出现冷冻水消耗量和干燥塔硫酸消耗量升高、以及逸出氯气的问题。对氯水洗涤塔进行物料平衡计算和热量平衡计算。对氯水
针对抓斗纠偏系统复杂性、不确定性、模糊性的特点,提出基于故障树的模糊神经网络作为抓斗纠偏系统故障诊断的方法。该方法利用故障树知识提取抓斗纠偏系统故障诊断的输入变
宫颈淋巴瘤临床罕见,分为原发性和继发性,最常见的病理学类型是弥漫大B细胞淋巴瘤(diffuse large B-cell lymphoma DLBCL)[1-2]。该病治疗方案及预后与其他宫颈良恶性肿瘤不
为揭示铝合金切削机理,实现铝合金结构件的高效加工,采用工艺试验和理论分析相结合的方法研究了铝合金加工过程中的表面粗糙度模型。利用建立的表面粗糙度模型预测了给定切削
视觉文化研究是当代学术研究的新领域,也是当前学术界的一个热门话题。加拿大康科迪亚大学的段炼博士在视觉文化艺术研究领域著述颇丰,主要有《视觉文化与视觉艺术符号学：艺术
分析了高速铣削的特点以及切削加工中的振动现象,研究了高速切削和普通切削中的工件振动对加工精度的影响程度,提出了在高速铣削情形下工件振动会影响加工精度的假设。然后采
目前临床常使用化疗药多数有着不同程度的毒副作用,在杀伤肿瘤细胞的同时也杀伤正常组织细胞,给机体造成不同程度的损害,造成严重后果,因此正确合理使用化疗药保持化疗药结构
分析了钢筋混凝土结构腐蚀的原因,介绍了防止钢筋混凝土结构腐蚀的涂料涂装,阐明了采用涂层防护对提高混凝土结构寿命的重要意义。