PKI技术在RFID标签数据安全中的应用

射频识别技术RFID作为一种新兴的自动识别技术,近年来在国内外已经得到了迅速发展.但由于RFID产品成本的因素极大地限制了RFID的处理能力和安全加密措施,使RFID标签数据比计算机和网络中的数据更容易被非法获取或改写.在分析RFID标签数据在应用中存在的安全隐患的基础上,提出了通过PKI技术解决RFID标签数据安全问题的方法,通过对数据进行加密和签名,可以有效解决标签数据安全问题.     

用于二级缓存的一种改进的自适应缓存管理算法

在机群系统或数据库服务器等应用环境下,由于本地内存资源限制,某些大内存应用与磁盘交互过多,会严重损害其性能.在高速网络支持下,把其他节点内存或采用专门的内存服务器作为系统的二级缓存,可减少对磁盘访问并提高应用性能.在二级缓存应用模式下,基于LIRS算法并对其存在的缺点进行改进,提出了一种自适应缓存管理算法LIRS-A.LIRS-A可根据应用访问特征自适应调整,避免了LIRS不适应某些具有时间局部性模式的情况.在TPC-H应用中,LIRS-A比LIRS最多有7.2%的性能提升;在网络流分析数据库的典型Groupby查询中,LIRS-A比LIRS的命中率最多可提高31.2%.     

柔性能力需求计划算法研究与设计

能力需求计划是企业资源规划中的一个重要的子系统,为实现企业的生产任务提供能力上的保证,是连接计划和生产的桥梁.分析了企业资源规划中现有的能力需求计划算法,发现了在柔性方面现有的能力需求计划算法存在着问题,并且对存在的问题进行了详细的研究,解决了算法中的多工艺路线问题,并针对计算过程中提前期不足的问题提出了提前期不足计划,这些方法使得能力需求计划能够适应我国大多数企业的需求,具有较好的柔性.     

实时协同设计系统中同步过程的研究

作为一类支持人机交互的分布式系统,实时协同设计系统允许多个用户通过网络同步的对同一文档进行编辑.实时性、分布式、用户操作无限制是该系统的3个重要要求,但由于用户的同步操作和网络传输延迟的存在,协同过程中容易产生各种不同步的现象.对由于站点迟到或者非正常退出协同设计系统而引起的同步性问题进行了研究,提出了同步过程,包括主控站点发送同步队列、状态矢量轮询、缺少操作补齐等步骤,解决了站点迟到或非正常退出系统而引起的同步性问题.     

税务网络安全系统的设计

为了保证山东省某市国家税务局计算机网络中涉税信息的畅通与安全,首先对山东省某市国家税务局的网络拓扑结构和网络安全现状做了调查研究,然后针对本网络系统的特点,分析了目前可能存在的网络安全威胁,最后提出了切实可行的网络安全解决方案.通过采取以上的措施,山东省某市国家税务局的网络安全性能得到大幅提高.     

基于sFlow技术的园区网蠕虫病毒侦测系统

蠕虫病毒是网络的主要威胁之一.实时流量采集和分析对于快速侦测和定位已感染蠕虫病毒的计算机具有重要意义.常见的蠕虫病毒监测方法如IDS和Sniff等,都存在难以全网监控、无法快速定位伪造IP地址的病毒源的缺点.分析了多种网络流量采集技术的优缺点,重点介绍了sFlow技术,并基于sFlow技术设计实现了一套园区网蠕虫病毒快速侦测系统.     

堆栈溢出的BLP形式化研究及实现

堆栈溢出是一种在各种操作系统、应用软件中广泛存在普遍且危险的漏洞,可以利用它执行非授权指令,甚至可以取得系统特权,进而进行各种非法操作.从安全操作系统的角度分析了堆栈溢出的原理,以BLP模型为工具对堆栈溢出进行了形式化并在此基础上适当调整了该模型,从安全模型的层次上消除了堆栈溢出的隐患.最后给出了调整后的BLP模型在LSM(Linlux security module)上的实现.     

基于信道丢包补偿技术的多源信息融合研究

在多传感器融合网络中,由于网络本身的内在特性以及受实际应用环境的影响,在数据传输过程中丢包现象经常发生,大量有用的信息丢失直接影响了融合算法的正常运行.现有的一些处理网络丢包现象的方法都是直接将丢包的传感器排除在融合操作之外,因此整个系统的融合精确度大大降低.针对上述问题,提出利用基于最小二乘的多项式拟合技术,对丢失的传感器信息进行近似补偿,从而提出一种基于信道丢包补偿技术的数据融合算法.另外,考虑到集中式融合存在的高计算复杂度的特性,基于信息更新的分布式融合算法被用来融合所有传感器的信息,性能分析和计算机仿真显示了新算法的有效性.     

合成状态图中非预期状态转换路径的确认

利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述.从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程.在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径.     

密码协议验证中的Petri网方法

如何验证密码协议的安全性是一个复杂的问题,只有形式化的验证方法才能证明密码协议的绝对正确.利用Petri网给出了一种用于密码协议验证的形式化方法.在合理假设的基础上,区分合法用户与攻击者在执行协议时的前提条件,列出执行协议后的结果,在此基础上建立了攻击者的Petri网模型.最后,用这种方法对NSPK协议进行了验证,证明了最初的NSPK协议中存在一个安全问题,而改进的NSPK协议则消除了这个问题.证明了这种方法的有效性.