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

第四届中国计算机网络与信息安全学术会议(CCNIS2011)

作者：郭曦张焕国武汉大学计算机学院，湖北武汉 430072 武汉大学计算机学院，湖北武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室，湖北武汉 430072

测试用例约简生成问题是软件测试过程中的关键问题之一，其目标是使用尽可能少的测试用例充分满足给定的测试目标，以提高测试效率、降低测试成本。提出一种基于谓词抽象的测试用例约简生成方法，该方法依据给定的谓词集合对软件系统的... 详细信息

测试用例约简生成问题是软件测试过程中的关键问题之一，其目标是使用尽可能少的测试用例充分满足给定的测试目标，以提高测试效率、降低测试成本。提出一种基于谓词抽象的测试用例约简生成方法，该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分，通过状态集合之间的映射得到约简的抽象状态，并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明，该方法可以有效地对系统状态进行约简，并生成规模较小的测试用例集。

关键词：谓词抽象状态约简等价类划分测试用例生成软件测试

来源：评论

学校读者我要写书评

暂无评论

一种基于约束的指针程序路径选择方法

一种基于约束的指针程序路径选择方法

引用

2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)

作者：郭曦张焕国武汉大学计算机学院，湖北武汉 430072 武汉大学空天信息安全与可信计算教育部重点实验室，湖北武汉 430072

动态符号执行是对程序进行安全性分析的重要技术。在动态符号执行过程中，存在着符号地址，系统调用，路径选择等问题。针对符号地址导致的别名分析问题，本文提出了一种基于约束的指针分析方法，对程序进行过程内的指向分析，并对指针... 详细信息

动态符号执行是对程序进行安全性分析的重要技术。在动态符号执行过程中，存在着符号地址，系统调用，路径选择等问题。针对符号地址导致的别名分析问题，本文提出了一种基于约束的指针分析方法，对程序进行过程内的指向分析，并对指针分析过程引入约束条件，产生可以进行路径选择的测试用例，以提高指针分析的精度。在国内首款某型号商用编译器的开发过程中实现了该方法，实验结果表明，该方法可以准确地分析C语言测试用例，缩短用例测试的时间。

关键词：约束求解静态单赋值符号动态执行指针分析路径选择

来源：评论

学校读者我要写书评

暂无评论

面向可靠性的动态Web服务组合选择策略研究

面向可靠性的动态Web服务组合选择策略研究

引用

2011中国计算机学会服务计算学术会议(CCF NCSC 2011)

作者：徐明迪赵恒张焕国武汉数字工程研究所武汉大学计算机学院武汉大学空天信息安全与可信计算教育部重点实验室

环境的动态适应是Web服务保证其可靠性的重要手段,当业务逻辑和网络环境发生变化时,需要在运行时刻对Web服务组合进行动态调整。基于马尔可夫模型和动态Web服务组合技术,提出一种支持动态Web服务可组合性、可靠性的选择模型-DWSSR(Dynam... 详细信息

环境的动态适应是Web服务保证其可靠性的重要手段,当业务逻辑和网络环境发生变化时,需要在运行时刻对Web服务组合进行动态调整。基于马尔可夫模型和动态Web服务组合技术,提出一种支持动态Web服务可组合性、可靠性的选择模型-DWSSR(Dynamic Web Seb Service Selection Model for Reliability)。DWSSR用有限状态机对Web服务中的服务类型、操作调用序列建模,用马尔可夫模型构造可靠性聚合算法,计算运行时刻每一个配置下操作执行成功的概率,从而使应用程序可在必要时通过有选择性的更新来调整适应能力。实现了支持DWSSR的原型系统,并通过实验验证了其有效性。

关键词：服务组合马尔可夫模型可靠性

来源：评论

学校读者我要写书评

暂无评论

针对RED的LDoS攻击模型

引用

华中科技大学学报（自然科学版） 2010年第9期38卷 50-54页

作者：吴黎兵徐翱何炎祥王超武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

针对随机早期检测(RED)算法的低速率拒绝服务攻击(LDoS)会导致路由器的缓冲队列长度出现严重震荡、使网络服务质量急剧下降的问题,分析了针对RED的LDoS攻击模型,并推理了高速率攻击脉冲使路由器缓冲队列迅速增加的过程,提出了攻击脉冲长... 详细信息

针对随机早期检测(RED)算法的低速率拒绝服务攻击(LDoS)会导致路由器的缓冲队列长度出现严重震荡、使网络服务质量急剧下降的问题,分析了针对RED的LDoS攻击模型,并推理了高速率攻击脉冲使路由器缓冲队列迅速增加的过程,提出了攻击脉冲长度l和脉冲速率R的理论计算方法.对于一个示例场景,当采用大于瓶颈链路带宽的攻击脉冲时,400 ms左右的脉冲能够对网络性能造成很大影响.在NS2中的模拟实验证明了实验结果与理论预期的一致性,针对RED的LDoS攻击流能够使网络服务质量大幅度下降,并且攻击流具有较好的隐蔽性.

关键词：网络安全网络性能拥塞控制低速率攻击拒绝服务随机早期检测

来源：评论

学校读者我要写书评

暂无评论

基于信任容错的Web服务可靠性增强方法研究

引用

通信学报 2010年第9期31卷 131-138页

作者：杨墨王丽娜武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

提出了一种基于信任容错的Web服务可靠性增强方法,采用选举协议发现服务的隐式错误;设计了服务信任轮询检测机制;建立的信任机制度量提供者的可靠性;针对提供者的领域特点和请求者的可靠性需求设计信任感知的容错服务个数计算方法和冗... 详细信息

提出了一种基于信任容错的Web服务可靠性增强方法,采用选举协议发现服务的隐式错误;设计了服务信任轮询检测机制;建立的信任机制度量提供者的可靠性;针对提供者的领域特点和请求者的可靠性需求设计信任感知的容错服务个数计算方法和冗余服务选择算法;实验验证该方法对恶意攻击具有较好抵御能力。

关键词：容错信任模型选举协议 Web服务

来源：评论

学校读者我要写书评

暂无评论

可信网络连接研究

引用

计算机学报 2010年第4期33卷 706-717页

作者：张焕国陈璐张立强武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学软件工程国家重点实验室武汉430072

文中详细地介绍了可信网络连接的发展历程、体系结构、消息流程、相关规范,对TCG的可信网络连接架构的优点与局限性进行了分析.针对如何将可信计算机制拓展到网络,使得网络成为可信的计算环境这一问题进行了分析论述,并对可信网络连接... 详细信息

文中详细地介绍了可信网络连接的发展历程、体系结构、消息流程、相关规范,对TCG的可信网络连接架构的优点与局限性进行了分析.针对如何将可信计算机制拓展到网络,使得网络成为可信的计算环境这一问题进行了分析论述,并对可信网络连接技术未来的发展趋势进行了展望.

关键词：可信计算可信网络连接可信网络网络安全信息安全

来源：评论

学校读者我要写书评

暂无评论

可信PDA计算平台系统结构与安全机制

引用

计算机学报 2010年第1期33卷 82-92页

作者：赵波张焕国李晶陈璐文松武汉大学计算机学院武汉430079 空天信息安全与可信计算教育部重点实验室武汉430079

PDA作为一种手持设备,面临着众多的安全问题.文中利用可信计算思想构造了可信PDA的体系结构与安全机制.首先提出了一种带数据恢复功能的星型信任结构,其在安全性、效率及可靠性等方面较TCG的链式信任结构都有很大提升.在此基础上,进一... 详细信息

PDA作为一种手持设备,面临着众多的安全问题.文中利用可信计算思想构造了可信PDA的体系结构与安全机制.首先提出了一种带数据恢复功能的星型信任结构,其在安全性、效率及可靠性等方面较TCG的链式信任结构都有很大提升.在此基础上,进一步使用总线仲裁等技术构造了可信PDA的体系结构模型.文中还提出并实现了针对可信PDA嵌入式操作系统的安全增强、基于可信PDA平台的可信网络连接(TNC)以及SD卡全卡加密等新的安全技术与方法.在此基础上,给出一种可信PDA的原型系统.经过实验验证,这款可信PDA在各方面都达到了可信计算平台的技术要求.

关键词：可信计算可信计算平台可信PDA 星型信任结构

来源：评论

学校读者我要写书评

暂无评论

可信计算平台信任链安全性分析

引用

计算机学报 2010年第7期33卷 1165-1176页

作者：徐明迪张焕国赵恒李峻林严飞武汉数字工程研究所武汉430074 武汉大学计算机学院武汉430072 空天信息安全与可信计算教育部重点实验室武汉430072

可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文... 详细信息

可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文中通过安全进程代数对信任链系统接口进行形式化建模,用可复合的不可演绎模型刻画信任链实体间的交互关系,把规范定义的信任链行为特性抽象为多级安全输入输出集,在讨论高级和低级输入输出依赖关系的基础之上,对信任链复合系统进行信息流分析,并给出结论和证明.

关键词：信任链安全进程代数可复合的不可演绎模型

来源：评论

学校读者我要写书评

暂无评论

面向LBS应用的隐私保护模型

引用

华中科技大学学报（自然科学版） 2010年第9期38卷 45-49页

作者：张国平樊兴唐明张欣雨武汉数字工程研究所湖北武汉430074 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对位置隐私保护问题,对基于位置的服务(LBS)的攻击及现有的保护方法进行了分析.提出了一种LBS位置隐私模型———群代理转发模型,其主要思想是切断终端用户身份信息与位置请求信息间的联系.为了进一步提高模型在实际应用中的成功率,... 详细信息

针对位置隐私保护问题,对基于位置的服务(LBS)的攻击及现有的保护方法进行了分析.提出了一种LBS位置隐私模型———群代理转发模型,其主要思想是切断终端用户身份信息与位置请求信息间的联系.为了进一步提高模型在实际应用中的成功率,在原有模型的基础上提出重叠群代理转发模型,从根本上阻止位置隐私的泄露.最后,对提出的模型进行了安全性分析.实验结果显示所提出的模型能以很高的概率适应实际应用的需求:当重合率为0,群规模下界为43时,可达到95.0%的平均成功率;重合率增大时,平均成功率有增大的趋势;当下界降低时,平均成功率也有明显的提高.

关键词：位置隐私隐私保护基于位置的服务轨迹隐私网络安全

来源：评论

学校读者我要写书评

暂无评论

可信计算动态验证优化建模

引用

武汉理工大学学报 2010年第20期32卷 169-173页

作者：余跃余发江孔亚楠武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072

目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型... 详细信息

目前的可信计算平台只验证应用程序的静态散列值,不能防止恶意代码对应用程序的动态攻击。提出了一个基于静态分析的可信计算动态验证行为建模方法,并且设计了一种修改后的Floyd查找算法,用于找出并删除FSA中所有的空循环路径,优化模型。经过实验证明,算法无论是在时间效率上,还是在空间复杂度上都优于目前常用的基于图论的算法。

关键词：可信计算动态验证行为建模空循环路径优化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：