自动高效的网络安全评估方法

网络安全评估是提高网络安全性的基本步骤之一。目前的评估方法通常需要手工操作,带来较大的评估开销,很难应用到大规模复杂网络,无法快速响应用户请求。提出了一种高效的自动化评估方法来解决这些问题。为了实现评估的自动化,对多个弱点资源(如NVD、Bugtraq等)的脆弱性信息进行分析,将它们关联起来,形成一个包含40000多个已知弱点的大型综合弱点数据库。为了提高评估效率,利用"原子域"的概念,提出了一种新的攻击图生成方法,相比于传统的方法,大大减少了攻击图生成开销。构建贝叶斯评估模型,基于变量消元,提出了一种新的评估方法,简化了模型中的贝叶斯推理。由于能自动化部署贝叶斯攻击图概率信息,新方法能实现评估的自动化,并且可以应用到大规模网络,快速完成评估任务,还可为网络管理员提供量化判断依据,以快速应对大型复杂网络中不断变化的安全态势。     

基于B／S架构的智能交通信息系统监控平台的设计

针对目前智能交通信息系统在维护和管理方面存在的突出问题,提出了一种基于B／S架构的智能交通信息系统监控平台的设计思想。与传统的基于C／S架构的监控系统相比,该平台采用监控代理与监控中心相结合的方式实现对远程应用系统的实时监控．监控代理采集被监控对象的运行数据,并通过TCP长连接实时地传递到监控中心。监控中心处理接收到的监控数据,并存八相应的数据库,通过Web页面实时显示被监控对象的运行状态信息．．该平台能够保障信息系统稳定运行,简化系统的维护和管理操作。通过实际运行,该监控平台能够及时发现被监控对象存在的问题,并通知运维人员及时处理．可节省运维成本70％。     

压缩的全文自索引算法研究

针对传统全文索引技术空间浪费过大等问题,介绍压缩的全文自索引技术。该技术仅利用索引数据即可完成子串搜索,并且可以从索引数据无损地还原出原始的文本信息,是一种无需存储原始文本信息的"自索引"技术,从而大大节省存储空间。综述现有的十几种典型的压缩的全文自索引算法的基本思想及其实现,并在多种数据集上对这些算法进行综合的测试评估。实验结果表明,压缩的全文自索引技术有效地节省了空间开销,实用价值较高。     

基于代理模型的XAI可解释性量化评估方法

可解释人工智能(explainable artificial intelligence, XAI)近年来发展迅速,已出现多种人工智能模型的解释技术,但是目前缺乏XAI可解释性的定量评估方法.已有评估方法大多需借助用户实验进行评估,这种方法耗时长且成本高昂.针对基于代理模型的XAI,提出一种可解释性量化评估方法.首先,针对这类XAI设计一些指标并给出计算方法,构建包含10个指标的评估指标体系,从一致性、用户理解性、因果性、有效性、稳定性5个维度来评估XAI的可解释性;然后,对于包含多个指标的维度,将熵权法与TOPSIS相结合,建立综合评估模型来评估该维度上的可解释性;最后,将该评估方法用于评估6个基于规则代理模型的XAI的可解释性.实验结果表明,所提出方法能够展现XAI在不同维度上的可解释性水平,用户可根据需求选取合适的XAI.     

基于B/S架构的智能交通信息系统监控平台的设计

针对目前智能交通信息系统在维护和管理方面存在的突出问题,提出了一种基于B/S架构的智能交通信息系统监控平台的设计思想.与传统的基于C/S架构的监控系统相比,该平台采用监控代理与监控中心相结合的方式实现对远程应用系统的实时监控.监控代理采集被监控对象的运行数据,并通过TCP长连接实时地传递到监控中心.监控中心处理接收到的监控数据,并存入相应的数据库,通过Web页面实时显示被监控对象的运行状态信息.该平台能够保障信息系统稳定运行,简化系统的维护和管理操作.通过实际运行,该监控平台能够及时发现被监控对象存在的问题,并通知运维人员及时处理,可节省运维成本70%.     

TMR计算机系统升级／降级重构技术

容错技术是计算可靠性的重要保证，实现容错的途径是冗余，而重构是容错计算机系统动态冗余技术的重要环节。本文以我们自行研制的航天容错计算机ＦＴ－ＨＩＴ系统为背景，论述ＴＭＲ计算机系统的降级重构和升级重构技术。     

网络视频内容的识别和过滤综述

随着网络视频的迅猛发展和广泛使用,网络不良视频的识别和过滤日益重要.通过对图像内容识别与过滤、视频结构分析与检索两个领域技术发展的分析,阐述了一种综合利用视频时域分割、关键帧提取、图像内容识别及皮肤检测等视频分析方面关键技术的解决方法.该方法简单,并且容易实现.此外,介绍了目前网络视频内容识别和过滤的研究现状和主要应用,分析了其面对的主要问题及未来发展趋势.     

一个基于Web的入侵检测系统设计与实现

入侵检测是重要的网络安全手段，它能实时检测网络信息，并能对入侵行为做出及时的响应。设计并实现了一个基于Web的入侵检测系统，它基于Web浏览器运行的，能将报警日志信息存储到关系数据库中，并以图形化的方式提供给用户，为用户查看、检索和管理日志数据提供了方便，且具有操作简单、界面友好、配置灵活等特点。     

DIV:一种针对虚拟机云服务的动态、实时完整性验证框架(英文)

with the increasing popularity of cloud services,attacks on the cloud infrastructure also increase dramatically.Especially,how to monitor the integrity of cloud execution environments is still a difficult task.In this paper,a real-time dynamic integrity validation(DIV) framework is proposed to monitor the integrity of virtual machine based execution environments in the cloud.DIV can detect the integrity of the whole architecture stack from the cloud servers up to the VM OS by extending the current trusted chain into virtual machine's architecture stack.DIV introduces a trusted third party(TTP) to collect the integrity information and detect remotely the integrity violations on VMs periodically to avoid the heavy involvement of cloud tenants and unnecessary information leakage of the cloud providers.To evaluate the effectiveness and efficiency of DIV framework,a prototype on KVM/QEMU is implemented,and extensive analysis and experimental evaluation are performed.Experimental results show that the DIV can efficiently validate the integrity of files and loaded programs in real-time,with minor performance overhead.