摘要：非可信内核扩展模块是对操作系统内核完整性安全的重要威胁之一,因为它们一旦被加载到内核空间,将可能任意破坏操作系统内核数据和代码完整性。针对这一问题,提出了一种基于强制访问控制对操作系统内核完整性保护的模型—MOKIP。该模型的基本思想是为内核空间中的不同实体设置不同的完整性标签,然后保证具有低完整性标签的实体不能破坏具有高完整性标签的实体。基于硬件辅助的虚拟化技术实现了原型系统,实验结果表明,本系统能够抵御各种恶意内核扩展模块的攻击,其性能开销被控制在13%以内。

摘要：针对目前井下语音通信的现状,提出了基于无线传感器网络兼有应急语音通信功能的实时环境监控系统,该系统以Stargate和Imote2开发板为核心设计传感器节点,并对系统体系结构、软硬件设计以及具有优先级语音和井下环境监测调度算法进行了研究。实验表明,该系统简单、可靠、经济,同时并兼顾井下语音通信和环境监控的实时性、公平性。

摘要：因为物联网技术的日新月异,为人类的生活带来了更多的便利,加快了经济生活的发展。本文是基于椭圆曲线密码体制引用于物联网的网络安全传输上的研究。首先分析了几个椭圆曲线应用于物联网的可能存在的可以改进的方面,如密匙的创建没有具体的数字,文字,账号对应来源;部分采用的密匙来源较为单一用到了ID(Identity)号或者IP(Internet Protocol)号创建,因为ID号和IP由设计者自己制定一般是不变,且比较好获取,所有比较容易出现小问题。在分析其他的设计的基础上设计了一个新的ONS查询的协议。

摘要：煤炭是我国一种十分重要的资源,其中关于煤炭的安全生产一直以来都是人们关注的问题。目前,大多数矿井使用的井下探测工具结构简单,传感器单一,满足不了井下工作面复杂环境的要求。该文针对井下探测设计了一种基于ZigBee技术并集成了温湿度、超声波、一氧化碳、光照强度和红外线检测总共5种传感器检测的井下探测小助手。该探测小助手对于井下环境数据采集良好,数据传输稳定,具有一定的应用价值。

摘要：目前,很多施工单位采用的隧道内部探测工具结构简单,传感器单一,满足不了隧道内部复杂环境的要求。本文针对隧道内部探测设计了一种基于Zig Bee技术并集成了温湿度、超声波、一氧化碳、光照强度和红外线检测总共5种传感器检测的隧道探测小助手。该助手工具在隧道内数据采集良好,数据传输稳定,具有一定的应用价值。

摘要：为解决KLEE中STP求解器无法对非线性求解约束条件求解的问题,将改进的遗传算法应用于KLEE中自动生成软件漏洞测试用例。通过改进遗传算法,将其应用于求解非线性方程并编程实现求解模块;通过KLEE的改进,让其能够调用遗传算法求解模块与STP求解器共同运行;通过接口的对接,完成KLEE中两个求解模块的并行运行,自动生成软件漏洞的测试用例。对比实验自动生成测试用例数据与原来KLEE的求解数据,对比结果表明了改进的遗传算法可应用于KLEE自动生成测试用例,其具有可行性、正确性、有效性。