可证明安全的MANET按需距离矢量路由协议分析

基于模拟证明方法,Acs等提出了一个MANET安全按需距离矢量路由协议的形式化分析模型,并利用该模型证明了ARAN协议的安全性．对该模型进行了深入分析,指出其中合并相邻敌手节点操作和正确系统状态定义的不合理性,以及ARAN协议安全性证明过程中的错误,并给出了一种针对ARAN协议的攻击方法,表明该协议即使在其分析模型下仍然存在安全漏洞．     

一种云计算适用的虚拟可信报告根构建机制

可信计算技术能够为云计算基础设施提供可信赖的状态及其验证手段,而可信报告这一可信平台基础功能在云环境的实现与普通主机有较大差异,如何构建虚拟可信报告根还没有通用和成熟的方案,将影响远程证明等可信技术在云环境的应用。为构建云计算适用的可信计算体系结构,解决为虚拟机提供唯一性身份标志和反映虚拟机与物理宿主机统一的完整性状态问题,明确了虚拟机应拥有各自独立的基于秘钥的身份标志以及虚拟机所属平台配置寄存器（PCR）类敏感信息必须是受保护的、可迁移的以适应虚拟机迁移需求。由进一步分析可知虚拟机完整性状态应包含以PCR值表示的虚拟机完整性状态和物理平台完整性状态。由此,在集中管理虚拟化/非虚拟化可信计算平台的模型预设条件下,基于国际可信计算组织（TCG）规范提出的身份证明秘钥（AIK）概念进行扩展,提出一种使用虚拟AIK作为虚拟机身份标志,并为每个虚拟机生成由其实际物理平台启动PCR值和虚拟机启动虚拟PCR值连接而成的PCR值的可信报告模型。设计了对应的虚拟PCR值复制机制、完整性报告机制、虚拟机敏感数据管理机制,并与TCG规范中方法进行了对比。该机制在兼容传统AIK验证机制的基础上,能够为每个虚拟机产生独立身份标识,向验证者证明自身完整性状态的同时简化了对虚拟机的验证流程。     

有向网络能控性指数的上下界研究

研究网络可控性的重要前提是证明系统是可控的.网络的可控性是指通过施加适当的外部输入或者调节输入来控制整个网络,从而获得预期的状态.传统计算有向网络控制输入节点的方法是通过求解网络对应的二分图的最大匹配,由于这种方法对于网络节点的匹配方式没有施加限制,导致节点控制链路过长,造成网络控制信息传递存在延迟,影响网络的可控性性能.通过Kalman判据、PBH判据等可证明一定时间内系统是否可控,但是随着网络规模的增大,网络中节点之间的关系也变得更加复杂,单纯使用这类方法使得运算的复杂度变高.本文首先结合Kalman秩判据提出能控性指数K的下界算法(KMLA).通过确定网络达到可控状态时的能控性指数的下界,可以快速确定控制输入的控制节点集群.然后提出基于入度的能控性指数K的最小上界算法(KMUA).发现本文提出的KMUA算法能够使K值的上界更加接近网络达到步可控时的K值.结合具体的网络模型和实际的网络对能控性指数的上下界进行验证,结果表明本文提出的算法,结合能控性指数上下界,可优化节点的控制链长度.     

一种可用于设备协同系统的资源发现方法

在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高。针对如何在大规模设备协同系统中快速且有效地找到所需资源这一问题,本文提出一种简单有效的设备资源发现机制。首先使用资源描述框架对系统中各种设备资源进行抽象;其次,为提高系统的可伸缩性,节点按兴趣聚类成簇;然后采用叠加距离的语义路由算法实现跨簇的资源共享和查询;最后进行模拟实验。实验结果证明利用布隆过滤器可以在很小的误判率下实现高效地聚合资源信息和帮助寻找查询路线;叠加距离的语义路由算法能够直接找到目标资源的位置,避免泛洪查询请求到其他无关的节点。该方法简单高效,为大规模设备协同系统软件的开发提供了基础。     

一种新的基于扩展星型结构的系统级故障诊断算法

网络系统级故障诊断是一种重要的针对网络节点进行故障诊断的方法.通过对网络系统级故障诊断的PMC模型和MM模型的t可诊断性进行分析,在确定的网络拓扑结构中构造扩展星型结构,利用图论的方法对给定的PMC模型和MM模型下的症状进行分析和论证,判断扩展星型结构根节点的状态.最后基于扩展星型结构判断网络节点状态的证明结果,提出一种新的针对已确定系统诊断度、并能构造出扩展星型结构的多处理器网络系统的系统级诊断算法——扩展星型结构算法.通过理论证明和实验结果表明:这种算法能够简单、快速并且正确地识别出处理器网络系统的故障节点,其时间复杂度为O(N),N表示处理器网络系统的节点个数.     

水产养殖远程监测系统的设计

设计了一种可以在手机或PC端实时监测的水产养殖远程监测系统. 该系统由数据集采中心、检测节点、云端服务器和监测端Android App或PC浏览器构成. 检测节点负责采集数据和接受命令,通过ZigBee无线网络与数据集采中心交换信息;数据集采中心一方面从ZigBee网络中读取数据并在现场显示,另一方面通过GPRS与云端服务器进行通信;云端服务器能够存储安装在便携式设备上的App或PC浏览器显示的数据. 相比于传统的水产养殖,这个系统不受时间、地域、环境、距离等因数的限制,可全天候不间断地稳定地远程监测多个水产养殖场.     

基于Web 服务的三层应用系统的设计与实现

如何构建具有开放性、可伸缩性的企业应用系统,已成为企业信息化建设的重要课题.本文提出了基于Web服务的三层应用系统的架构和设计、实现方法,并在Windows.NET Framework下得到了实现.本文为企业信息系统的建设提供了很好的解决方案.     

移动支持协议可伸缩性研究

为对移动支持协议的可伸缩性进行研究,提出一个合适的网络模型,在此网络模型的基础上采用理论分析的方法分析使用各移动支持协议时关键节点的处理负担,并通过数值仿真的方法对只使用移动IP协议和引入层次移动时HA的处理负担以及采用M IP-RR、C IP和HAWAII等不同的微移动协议时GW的处理负担进行比较.结果表明,引入层次移动与只使用移动IP相比减少了HA的处理负担,增加了协议的可伸缩性;在不同的微移动协议中,使用显式删除旧路径的路径维护策略与频繁发送周期性的刷新报文相比具有较大的可伸缩性;使用路径更新报文发送到交叉MRA的路径更新方法与路径更新报文发送到GW相比具有较大的可伸缩性.     

基于ROS的云机器人系统设计与实现

作为物联网的一种新形式,机器人与互联网融合展现出强劲的发展的趋势.为通过互联网远程操控监视机器人和实现多机器人云端协同信息共享问题,提出一种ROS云端克隆(ROSClone)云机器人系统.基于一种新的轻量级异步通信协议,通过云上代理服务器,将支持ROS的机器人与远程应用相连接,实现机器人状态在云端的克隆.ROSClone系统性能在云上进行测试评估,结果表明此方式的高效性与可靠性.     

基于无干扰理论的完整性度量模型

针对现有可信计算完整性度量方案不能反映程序执行时动态特征的问题,提出一种基于系统操作无干扰的完整性度量模型,该模型借鉴信息流的无干扰理论,通过分析进程操作的完整性及进程间完整性的传递,从动态的角度对系统的运行完整性进行度量.对该模型进行形式化的描述和分析表明,该模型直观、易懂,且不局限于某种特定的实现方式.