检索结果-内蒙古大学图书馆

清华大学学报（自然科学版） 2011年第12期51卷 1824-1830,1838页

作者：赵刚况晓辉郑纬民清华大学计算机科学与技术系北京100084 北京系统工程研究所北京100101 信息系统安全技术重点实验室北京100101

支持动态分析的实验环境对于提高大规模分布式的安全性具有重要作用。在分析大规模分布式系统脆弱性分析对实验环境需求的基础上,提出了一种针对大规模分布式系统脆弱性分析的仿真实验环境体系结构,描述了体系结构的实现方法,以及网络... 详细信息

支持动态分析的实验环境对于提高大规模分布式的安全性具有重要作用。在分析大规模分布式系统脆弱性分析对实验环境需求的基础上,提出了一种针对大规模分布式系统脆弱性分析的仿真实验环境体系结构,描述了体系结构的实现方法,以及网络拓扑生成与映射、虚实结合的网络仿真等关键技术。并通过实验和示例分析说明实验环境能够有效降低大规模分布式系统脆弱性分析的复杂性,并验证分析结果的准确性。

关键词：大规模分布式系统仿真实验环境脆弱性分析拓扑生成与映射网络仿真

来源：评论

学校读者我要写书评

暂无评论

PDF阅读器字体解析引擎的测试方法

引用

清华大学学报（自然科学版） 2018年第3期58卷 266-271页

作者：赵刚于悦黄敏桓王玉迎王嘉捷孙晓霞信息系统安全技术国家重点实验室北京100101 北京邮电大学计算机学院北京100876 中国信息安全测评中心北京100085

PDF文档具有良好的移植性且应用广泛，常被用作恶意代码的载体。PDF文档具有严格的格式校验，对结构复杂的PDF阅读器进行模糊测试时，传统随机模糊测试效率较低。现有基于文件格式的灰盒模糊测试，由于模型描述语言能力不足，难以针对... 详细信息

PDF文档具有良好的移植性且应用广泛，常被用作恶意代码的载体。PDF文档具有严格的格式校验，对结构复杂的PDF阅读器进行模糊测试时，传统随机模糊测试效率较低。现有基于文件格式的灰盒模糊测试，由于模型描述语言能力不足，难以针对某种文件格式构建统一的数据模型。该文针对PDF阅读器字体解析引擎提出一种批量化构造测试用例的方法。通过对字体文件重构和添加辅助信息方式，构造格式统一的测试用例，对TrueType格式文件构造统一数据模型。在此基础上，开发了模糊测试工具并对20余款PDF阅读器进行了测试，触发了大量崩溃。结果表明：该方法可以有针对性地构造测试用例，并有效地挖掘PDF阅读器中的缺陷。

关键词： PDF阅读器模糊测试测试用例构造 TrueType字体

来源：评论

学校读者我要写书评

暂无评论

无人机自主通信和组网能力评估方法

引用

通信学报 2020年第8期41卷 87-98页

作者：赵海涛高士顺王海军雍婷魏急波国防科技大学电子科学学院湖南长沙410073 信息系统安全技术国家重点实验室北京100191

为了准确评估无人机系统的自主通信和组网能力以提升其智能化协同水平,面向复杂环境和对抗任务的中高端无人机系统,立足于实际需求,从自适应能力、自主决策能力、指令理解能力、计算和信息物理融合能力以及学习能力等多个角度分析无人... 详细信息

为了准确评估无人机系统的自主通信和组网能力以提升其智能化协同水平,面向复杂环境和对抗任务的中高端无人机系统,立足于实际需求,从自适应能力、自主决策能力、指令理解能力、计算和信息物理融合能力以及学习能力等多个角度分析无人机系统的自主通信和组网能力及其相互关系,建立无人机系统自主通信和组网能力构成模型,通过构造函数对各个影响要素实现合成计算,并通过一个范例来说明具体的评估过程。范例评估结果表明,所提方法比较全面地考虑了各方面的影响因素,可以对不同无人机系统的自主通信和组网能力进行定量的客观评价。

关键词：无人机自主通信自组织网络信息物理融合能力评估

来源：评论

学校读者我要写书评

暂无评论

一种基于权值的大规模分布式系统结构脆弱性分析算法

引用

计算机研究与发展 2011年第5期48卷 906-912页

作者：赵刚况晓辉李津郑纬民清华大学计算机科学与技术系北京100190 信息系统安全技术国家重点实验室(北京系统工程研究所) 北京100101

结构脆弱性是大规模分布式系统的典型脆弱性类型之一.针对大规模分布式系统实体间复杂的依赖关系和冗余备份机制,构建了实体拓扑模型.该模型采用简单有向图描述实体间依赖关系,采用故障容忍机制刻画节点间的冗余关系,并引入权值刻画节... 详细信息

结构脆弱性是大规模分布式系统的典型脆弱性类型之一.针对大规模分布式系统实体间复杂的依赖关系和冗余备份机制,构建了实体拓扑模型.该模型采用简单有向图描述实体间依赖关系,采用故障容忍机制刻画节点间的冗余关系,并引入权值刻画节点或边失效对于业务流程的影响.在此基础上,提出了基于权值的大规模分布式系统结构脆弱性分析算法,该算法通过权值计算和基于故障传递的剪枝方法发现并验证结构脆弱性.通过算法分析和实现充分验证了算法的有效性.

关键词：大规模分布式系统结构脆弱性实体拓扑模型故障容忍脆弱性分析

来源：评论

学校读者我要写书评

暂无评论

工作流管理系统中一种概率性分析和调整时间约束的方法

引用

计算机研究与发展 2010年第1期47卷 157-163页

作者：韩锐刘英博闻立杰王建民清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室(筹) 北京100084

时间管理是工作流管理系统应提供的重要功能,其中一个关键问题是分析时间约束的可行性,并调整时间约束以避免可能出现的违反.然而,在高度不确定的工作流环境下,传统定性的时间约束分析结果过于严格.因此,提出概率时间约束工作流网来描... 详细信息

时间管理是工作流管理系统应提供的重要功能,其中一个关键问题是分析时间约束的可行性,并调整时间约束以避免可能出现的违反.然而,在高度不确定的工作流环境下,传统定性的时间约束分析结果过于严格.因此,提出概率时间约束工作流网来描述时间约束下的工作流流程.基于该网提出一种方法,以随机的形式分析活动满足时间约束的概率.该概率能帮助流程管理者灵活地分析时间约束的可行性,进一步为时间约束调整提供精确的指导.此外,用一个实际工作流管理系统中的例子验证工作的有效性.

关键词：工作流管理系统时间管理流程不确定性时间约束概率

来源：评论

学校读者我要写书评

暂无评论

基于双层结构的矢量工程图符号识别算法

引用

计算机辅助设计与图形学学报 2017年第12期29卷 2171-2179页

作者：孙聪施侃乐雍俊海清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室(筹) 北京100084

为了从矢量工程图中自动提取零件种类和个数等信息,提出一种矢量工程图符号识别算法.首先定义矢量工程图中每个元素的3种共同抽象属性以及2个元素之间的关系描述子;然后提出描述符号的双层结构,其比传统的网状或树状结构简单;最后,通过... 详细信息

为了从矢量工程图中自动提取零件种类和个数等信息,提出一种矢量工程图符号识别算法.首先定义矢量工程图中每个元素的3种共同抽象属性以及2个元素之间的关系描述子;然后提出描述符号的双层结构,其比传统的网状或树状结构简单;最后,通过关系描述子的匹配与双层结构的构造进行符号识别.另外,该算法利用四叉树、一次识别多种符号以及对关系描述子进行排序的方法加速符号识别.实验结果表明,文中算法比已有算法识别的符号种类更多,识别效率更高,而且在旋转和缩放变换条件下更加鲁棒.

关键词：符号识别工程图关系描述子约束树

来源：评论

学校读者我要写书评

暂无评论

由三视图重建包含圆环面的形体

引用

计算机辅助设计与图形学学报 2008年第2期20卷 186-192页

作者：张怡文龚洁晖张慧信息系统安全教育部重点实验室(筹) 北京100084 清华信息科学与技术国家实验室(筹) 北京100084 清华大学软件学院北京100084

机械零件中的管道和曲面过渡通常都由圆环面构成.分析了圆环面在三视图中的投影性质,将圆环面不同方向投影中的具有独特性的二次曲线特征定义为它的主特征和次特征,以工程图标注的语义信息为辅,提出基于曲面特征识别的圆环面重建算法.... 详细信息

机械零件中的管道和曲面过渡通常都由圆环面构成.分析了圆环面在三视图中的投影性质,将圆环面不同方向投影中的具有独特性的二次曲线特征定义为它的主特征和次特征,以工程图标注的语义信息为辅,提出基于曲面特征识别的圆环面重建算法.该算法首先在三视图中识别圆环面特征,然后由特征计算曲面参数,最后构造拓扑结构.用该算法对带有管道和曲面过渡的实例进行了验证.

关键词：圆环面三视图特征识别实体重建

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络远程代码更新技术研究进展

引用

计算机科学 2013年第6A期40卷 255-261页

作者：况晓辉许飞刘丽北京系统工程研究所信息系统安全技术国家级重点实验室北京100101

高可用性是无线传感器网络的设计目标之一,远程代码更新可增加或更新运行在传感器节点上的软件,是提高无线传感器网络可用性的重要支撑。分析和总结了传感器网络远程代码更新研究领域的研究成果,阐述了主要远程代码更新机制及其待解决... 详细信息

高可用性是无线传感器网络的设计目标之一,远程代码更新可增加或更新运行在传感器节点上的软件,是提高无线传感器网络可用性的重要支撑。分析和总结了传感器网络远程代码更新研究领域的研究成果,阐述了主要远程代码更新机制及其待解决的问题,最后探讨了今后应研究的问题,指明了下一步研究的重点和难点。

关键词：无线传感器网络综述远程代码更新网络编码安全

来源：评论

学校读者我要写书评

暂无评论

针对SSL/TLS的典型攻击

引用

计算机科学 2015年第S1期42卷 408-412 419,419页

作者：张明许博义郭艳来信息系统安全技术重点实验室北京系统工程研究所北京100101

SSL/TLS是网络上广泛使用的一个安全协议,它在TCP层和使用TCP的应用程序之间提供安全服务,能保证消息的保密性和完整性。SSL/TLS协议的标准在不断地完善,但是针对SSL/TLS的攻击也在不断地出现。首先对SSL/TLS协议进行了介绍,其次重点分... 详细信息

SSL/TLS是网络上广泛使用的一个安全协议,它在TCP层和使用TCP的应用程序之间提供安全服务,能保证消息的保密性和完整性。SSL/TLS协议的标准在不断地完善,但是针对SSL/TLS的攻击也在不断地出现。首先对SSL/TLS协议进行了介绍,其次重点分析了各种典型的针对SSL/TLS的攻击。针对SSL/TLS协议的攻击被分为3类:与机制有关的攻击、与实现有关的攻击、与信任模型有关的攻击。在每类攻击下,都给出了几个具体的实例。

关键词： SSL/TLS 攻击机制实现信任模型

来源：评论

学校读者我要写书评

暂无评论

大规模分布式系统脆弱性分析框架研究

引用

计算机科学 2012年第6期39卷 58-60页

作者：况晓辉赵刚温研许飞苗青信息系统安全技术重点实验室北京100101 北京系统工程研究所北京100101

随着大规模分布式系统在国家安全、经济运行、基础设施、社会生活等方面扮演的角色越来越重要,其脆弱性分析问题日益成为人们关注的焦点。将大规模分布式系统视为脆弱性分析对象,构建了大规模分布式系统的层次模型,分析了大规模分布式... 详细信息

随着大规模分布式系统在国家安全、经济运行、基础设施、社会生活等方面扮演的角色越来越重要,其脆弱性分析问题日益成为人们关注的焦点。将大规模分布式系统视为脆弱性分析对象,构建了大规模分布式系统的层次模型,分析了大规模分布式系统的脆弱性类型,提出了基于生命周期的多维度的大规模分布式系统脆弱性分析框架,从脆弱性分析阶段、生命周期以及脆弱性类型等方面系统地梳理了研究方向。

关键词：大规模分布式系统脆弱性分析生命周期

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：