论文部分内容阅读
本文从安全协议形式化验证方法所应用的技术手段、技术特点入手,对安全协议的形式化验证方法进行了总结和分类。并对安全协议形式化验证若干热点研究方向进行了归纳和展望。
安全协议的形式化验证技术与方法
【摘 要】
：
本文从安全协议形式化验证方法所应用的技术手段、技术特点入手,对安全协议的形式化验证方法进行了总结和分类。并对安全协议形式化验证若干热点研究方向进行了归纳和展望。
【机 构】
：
黑龙江科技学院计算机与信息工程学院,黑龙江科技学院计算机与信息工程学院,黑龙江科技学院计算机与信息工程学院 黑龙江150027,黑龙江150027,黑龙江150027
【出 处】
：
网络安全技术与应用
【发表日期】
：
2007年11期
其他文献
蒋坝水位站是洪泽湖代表水位之一,是淮河流域防汛抗旱调度的重要依据。建于1914年1月,2004年4月迁址重建。分析了蒋坝水位站的代表性;介绍了站址方案的选择和水位观测平台高
中国传统的法学教育一直以向学生传授书本知识为主,忽视了对学生实践能力与操作能力的培养.而诊所式法律教育超越了传统教育的课堂局限性将二者有机的结合,克服了传统法学教
以太音响模块(EtherSound)ES-Giga是一种在标准以太网上传输的低时延、同步的、高通道数、双向音视频与数据的领先技术模块,他以灵活多样的设计与安排,为网络节点之间信息流
目的 观察肾脂肪囊(肾囊)内注射MP及常规激素治疗原发性肾痛综合征(PNS)的临床效果及副作用.方法 诊断为PNS的114例患者,分为A、B 2组,即常规组和肾囊内注射组,同时予常规的
简单介绍网络及路由器的基本概念和网络分层诊断技术,结合讨论路由器各种接口的诊断,综述互联网络连通性故障的排除。
Briefly introduce the basic concepts of network an
库肯勃瘤是恶性程度极高的卵巢转移性肿瘤,早期即可有广泛的浸润和转移,预后不佳.临床上可见一些少见的卵巢原发性肿瘤,如卵巢印戒细胞间质瘤、硬化性问质瘤、黏液性类癌、透
从提问的角度看,小学数学课堂教学存在着频繁发问、目标不明、问题过小、不区分对象等误区;而科学安排提问,则可解除这些误区,使课堂教学效果最优化。
From the point of vi
随着我国经济的高速发展,劳动力的素质问题越来越成为社会关注的焦点,然而,旨在提高劳动者劳动技能的职业培训却存在着诸多的陷阱,如何保障劳动者的合法权益,法律已做出了相