【摘 要】
：
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力.我们运用一种基于算法知识概念的逻辑分析安全协议,入侵者假定使用算法来计算其知识,入侵者的能力也通过对其所使用的算法作适当的限制来获得.运用模型检测器SPIN对TMN协议进行分析,实验结果证明了
【机 构】
：
南昌大学信息工程学院 江西省公安厅公共信息网络安全监察总队
论文部分内容阅读
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力.我们运用一种基于算法知识概念的逻辑分析安全协议,入侵者假定使用算法来计算其知识,入侵者的能力也通过对其所使用的算法作适当的限制来获得.运用模型检测器SPIN对TMN协议进行分析,实验结果证明了此方法的有效性,可方便地用于其它网络安全协议验证.
其他文献
介绍了纳米材料的特性及在针纺织物上的应用情况，叙述了德科纳米整理剂的整理原理、工艺。通过测试，得出了经过德科纳米整理剂处理的产品具有拒水、拒油、拒污、抗菌等功能；透气、透湿性几乎无影响且绿色环保的结论。
选择ATTS法人工汗液、改进的AATCC 125—2004测试标准，测试活性染料三原色对棉针织物的汗光牢度，发现元青染料中、浅色的汗光牢度较差。从改进后处理办法和合理选用染料种类方面进行单色、拼色试验，结果表明，还原染料汗光牢度优良，是部分活性染料的最佳替代品。
研究了新颖的涂料染纱工艺和整理工艺。介绍了涂料绞纱染色和纱线环状染色，仿旧整理和柔软整理的工艺、助剂和使用方法。文中对涂料染色中增深剂PNT和湿摩擦牢度提高剂PG的性能、用量和使用效果进行了研讨。
椭圆曲线密码体制是公钥密码中的研究热点.该文介绍了椭圆曲线密码体制的基本概念及相关知识,讨论了目前基于离散对数问题的椭圆曲线密码的研究动态.本文的创新点是针对目前椭圆曲线研究重点之一--椭圆曲线参数生成算法,给出了一种生成参数a、b的快速算法.这种算法利用了Jacobi符号和二次剩余的理论,并且用matlab计算出利用这种算法生成一个椭圆曲线的平均时间,最后我们分析了今后椭圆曲线密码系统的研究方向
网络的飞速发展,给我们带来了极大的便利,使我们能够快速的传递信息.同时也给我们提出了挑战.那就是如何对网络中传输的信息进行监控,使那些非法的信息不能够在网络中传输.本分详细介绍了,网络监听的概念和网络监听的函数库libnids.使我们对网络监听有了清晰的了解.本文以一个时机的设计为例子(禁止访问非法网站.)就如何使用函数库libnids进行了简单的阐述.此设计用libnids函数库提供的函数,监听
网络身份信任体制建设是一项复杂的社会系统工程，它以PKI技术为核心，以统筹规划的、布局合理的证书认证机构为依托，以协调一致的相关标准规范为基础，以科学、严谨的网络身份信任管理制度为保障。网络身份信任体制建设事关我国信息化建设的全局，应严格按照国家有关主管部门的统一部署有序建设。协调一致的PKI标准规范是确保网络身份信任体制中各证书认证机构互通、互联、互操作的关键，同时也是支持网络身份信息管理制度有
信息安全的认证是代表国家对达到评价标准和标准要求的产品和系统进行的一种独立于用户和厂商之间的第三方的认可活动，表明其特点和功能达到了规定的要求。目前，中国信息安全产品测评认证中心开展的认证业务主要包括以下四个方面:信息安全产品认证，信息系统安全认证、信息安全服务资质认证和注册信息安全专业人员资质认证。
本文根据电子政务对信息安全的要求,讨论了相关信息类型和技术措施,并针对数据中心,提出了以信息安全保护平台的概念,该平台集成当前流行的有关技术和系统,确保电子政务的信息安全.
从中国科技网兰州地区网络安全面临的风险分析入手,确定了计算机系统及网络面临的潜在的不安全因素,探讨了计算机安全保护策略、以及采取等级保护的方案.制定了等级安全策略、突发事件应急机制,利用三层交换技术对网络结构进行了调整,采用先进的网络管理技术和手段对整个网络的安全进行监控,有效地控制和减少网络中的攻击和广播风暴,从而构建一个高效可靠的网络平台,满足骨干网的高速传输,为科研工作提供了有力的保障.
通常,无线网就是指采用无线传输媒体的计算机网络.无线网络在其自有的标准基础上,凭借其易构建、易实施、方便维护和管理的特性赢得了越来越多的个人、公司、政府及电信营运商的青睐.本文首先要介绍无线网络IEEE802.11及80211i的安全协议和机制,通过了解这些机制和协议的原理,从而掌握如何加强无线网络的安全,更有效地减少网络的攻击;本文的后半部分会介绍一些无线网络管理中遇到的问题及解决方案.