作者：龙腾,许智武 单位：国防科技大学计算机学院 出版：《计算机工程与科学》2017年第04期 页数：8页  （PDF与DOC格式可能不同） PDF编号：PDFJSJK2017040150 DOC编号：DOCJSJK2017040159 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 安全相关的性质如访问控制等在复杂环境下有十分重要的作用。从程序验证方面来说，不仅考虑安全性和活性的验证，还要考虑一些安全策略的性质，如非干涉性，这些不能用一般的性质来描述的安全策略可以被看作“超安全性质”。限界约束可通用地表示不同程度的访问频次限制，是安全相关性质验证中有效的辅助方法之一，在无线传感器网络协议、嵌入式系统等重要领域的性质验证方面具有广泛的应用价值。主要研究网络安全策略中的安全相关性质的限界表达及基于该限界约束的验证规则。

    📙 相关资料

    1. 《关于无线传感器网络安全技术的分析》PDF+DOC 随着网络技术不断的发展，无线传感器网络被人们在平常生活中广泛运用，因此，加大无线传感器网络技术安全的保护力度，并对科技以及军事上的安全问题予以重视，尽量避免信息外泄所造成的重大损失其意义重大。由于无线传感器网络中存在着的自身影响因素以及外部影响因素所造成的安全性问题的频率较多，同时在对无线传感器网络......
    2. 《基于ZigBee无线传感器网络的大气环境监测系统》PDF+DOC 随着人们对生活环境质量的重视程度的不断提高，从而使得各种类型的环境监测系统也在不断的增多。常见的环境监测系统大多数采用的是RS-485、以太网、GPRS等方式进行通讯。上述方式往往存在着布线困难、费用高等特点，从而不易大面积的推广。本文设计的基于Zig Bee的无线环境监测系统具有免授权频段、低功耗......
    3. 《无线传感器网络数据安全及解决方法》PDF+DOC 安全性是决定无线传感器网络应用前景的一个关键性问题，特别是针对于军事领域和商业领域上的应用。与传统网络相比，无线传感器网络所具有的开放通信介质、动态拓扑、缺乏中心授权等固有特征，使无线传感器网络在应用过程当中更容易受到各种安全威胁和攻击，例如：被动窃听、数据篡改与重发、伪造身份和拒绝服务等。本文主要......
    4. 《无线传感器网络SPINS安全框架协议》PDF+DOC 在现阶段无线传感器网络的发展当中，影响网络安全协议最为重要的一个因素就是安全性。安全性受到诸多方面例如物理方面、资源高度方面和电源分布控制技术的威胁。SPINS安全框架协议利用SNEP子协议的加密协议，通过密钥管理实现了无线传感器的安全性保障。本文通过对SPINS安全框架协议的优劣势进行分析，从而梳......
    5. 《无线传感器网络时间同步算法的安全性研究》PDF+DOC 时间同步是无线传感器网络的重要支撑技术之一，保证时间同步安全性对无线传感器网络的应用至关重要。根据现有的三类同步机制的典型算法的原理分析其安全性，然后对目前的安全措施进行了分析总结。...
    6. 《无线传感器网络安全算法能量开销研究》PDF+DOC 在传感器节点中集成安全算是提升无线传感器网络安全性的一种重要途径。然而执行安全算法所带来的能量和时间开销将对无线传感器网络的工作寿命和执行效率产生负面的影响。本文以Crossbow MICA2传感器节点为目标平台，测试了多种安全算法的能量开销，并提出了一些平衡传感器节点安全性和能量开销的安全算法应用......
    7. 《无线传感器网络密钥管理研究进展》PDF+DOC 分析了当前无线传感器网络密钥管理协议设计中所存在的主要问题，在对具有代表性的最新研究成果进行系统论述的基础上，全面分析了其利弊以及适应性问题。考虑到传感器网络应用背景的细化和结构、功能的多元化，提出了今后的研究方向。...
    8. 《一种基于MA的无线传感器网络IDS模型研究》PDF+DOC 本文针对分簇式无线传感器网络的特点，将入侵检测技术与移动Agent技术相结合，提出一种基于MA的无线传感器网络入侵检测方案，采用多个Agent模块分布协作，运用一种基于聚类的入侵检测算法，从而达到提高无线传感器网络的安全性、可靠性，降低入侵检测能量消耗的目的。...
    9. 《无线传感器网络路由协议的安全性分析》PDF+DOC 无线传感器网络集成了传感器技术、嵌入式技术、分布式信息处理技术和无线通讯技术，是一种全新的信息获取和处理技术。在各种应用中，传感器网络主要用于收集数据，决策者根据收集到的数据进行决策，因此路由协议的安全性非常重要。本文介绍了当前主要的路由协议，研究并分析了它们的安全性。...
    10. 《无线传感器网络安全管理技术探讨与研究》PDF+DOC 随着无线传感器网络的广泛应用，其安全问题日益受到重视。网络安全已经成为无线传感器网络系统设计中的一个重要部分。本文从密钥管理、安全路由、安全聚合等三个方面对无线传感器的安全解决方案进行了探讨和研究。...

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。