【摘 要】
：
通信协议作为网络和分布式应用的基础，其固有的复杂性和潜在的敌对环境，使得协议安全性面临巨大的威胁。协议证明是安全的,但其实现仍可能引入安全漏洞.为了测试协议实现的安全
【机 构】
：
西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071
论文部分内容阅读
通信协议作为网络和分布式应用的基础，其固有的复杂性和潜在的敌对环境，使得协议安全性面临巨大的威胁。协议证明是安全的,但其实现仍可能引入安全漏洞.为了测试协议实现的安全性,本文提出了一种安全属性测试方法.提出形式化模型SPG-EFSM来描述协议规范及其安全属性,基于攻击场景分类,设计了安全属性测试算法.实验结果显示,SPG-EFSM能够描述Woo-lam协议规范和其认证性,攻击算法不仅发现了Woo-lam协议已知的认证性漏洞,而且找到了Woo-lam协议未知认证性漏洞.与其他方法比较分析表明,本文的安全属性测试方法具有可扩展性、覆盖率高、效率高的特点.
其他文献
城市绿地系统是构筑与支撑城市生态环境的自然基础，是城市社会、经济持续发展的重要保障。然而，随着城市化水平日益提高，城市自然生境质量不断下降，生态系统变得异常脆弱，给城市生
骨髓间充质干细胞（Mesenchymal stem cells,MSCs）是一类存在于骨髓间质层的极少量细胞,不但具有强大的自我更新及多向分化潜能,还具有支持造血的重要功能,并且植入反应弱,易于
一、节旋藻2-DE分析蛋白制备方法的改进
以本征手性为左手螺旋的钝顶节旋藻品系ZJU0101为材料，根据其细胞壁的组成与结构特点，反复冻融5次使藻细胞完全破碎后，先用Tris-HCl
三甲基碘硅烷在药物合成以及有机合成领域有较广泛的应用，在药物合成中三甲基碘硅烷常作为羟基等官能团的保护试剂，尤其在第四代头孢菌素如头孢吡肟、头孢匹罗的合成过程中得到
环氧氯丙烷是重要的精细化工产品和有机化工原料，其应用范围十分广泛。目前国内环氧氯丙烷生产的主要方法是氯醇法，该方法的特点是工艺简单，操作便利，投资较低，对于原料质量的要求
随着互联网技术的发展,网络的应用也得到更好的普及,而保障网络安全成为亟待解决的问题。目前,木马是网络安全最严重的威胁之一,主要的检测方法是基于特征码的木马检测和
电视节目研发与市场营销紧密耦合。根据市场需求进行节目研发已成为当今电视媒体的制胜之道,那么如何把握市场规律,抢占市场先机,适应市场需求。《产业经营》栏目姚休撰写的
细胞中的蛋白质参与和调控着生物体的各种生理活动，其中，大多数蛋白质是通过与配体分子结合或者是作为一个大的生物复合体的一部分来参与细胞生命活动的。因此，研究并阐明蛋白质
软件定义网络(SDN)将控制层面与转发层面进行分离，使得网络管理更加灵活.一个控制器与多个交换机共同组成SDN 典型的集中控制架构.控制器在SDN 中起着至关重要的作用，同时
系统可靠性的保护,通常采用投票算法和冗余策略.然而,考虑到系统外界存在攻击者时,系统的可靠性将面临威胁.在本文中,主要研究介于系统防御策略和理性攻击者之间的系统可靠性