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

2010年第四届中国可信计算与信息安全学术会议

作者：邹冰玉张焕国郭曦胡颖加米拉·沙塔尔武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 新疆维吾尔自治区民族语言文字工作委员会新疆乌鲁木齐830001

针对可信网络连接架构中所定义的访问控制粒度粗、对于如何评估访问请求者的可信级别,如何实施授权访问没有定义等问题,提出了根据请求者的行为及其平台计算环境特征评估其信任级别的方法,研究了具有反馈功能的动态访问授权模型,并在构... 详细信息

针对可信网络连接架构中所定义的访问控制粒度粗、对于如何评估访问请求者的可信级别,如何实施授权访问没有定义等问题,提出了根据请求者的行为及其平台计算环境特征评估其信任级别的方法,研究了具有反馈功能的动态访问授权模型,并在构建可信网络连接原型系统的基础上,实现了从连接到授权的接入控制和动态调整.

关键词：可信计算可信网络连接细粒度授权模型接入控制

来源：评论

学校读者我要写书评

暂无评论

一种改进的指针安全分析算法

一种改进的指针安全分析算法

引用

2010年第四届中国可信计算与信息安全学术会议

作者：郭曦何炎祥张焕国胡颖加米拉·沙塔尔武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 新疆维吾尔自治区民族语言文字工作委员会新疆乌鲁木齐830001

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对... 详细信息

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.

关键词：指针安全数据流分析 Steensgaard算法精度

来源：评论

学校读者我要写书评

暂无评论

基于认知Hash的文本来源可信性检测

基于认知Hash的文本来源可信性检测

引用

第九届全国信息隐藏暨多媒体信息安全学术大会CIHW2010

作者：胡东辉王丽娜张娟胡学钢朱婷婷武汉大学计算机学院，湖北武汉 430079 合肥工业大学计算机与信息学院网络与信息安全研究所，安徽合肥 230009 武汉大学计算机学院，湖北武汉 430079 空天信息安全及可信计算教育部重点实验室，湖北武汉 430072 合肥工业大学计算机与信息学院网络与信息安全研究所，安徽合肥 230009

网络环境下海量数据的来源可信性研究十分重要.本文提出和设计了一种基于认知hash的文本来源可信性检测方法.我们基于知网语义特征，设计了一种文本认知hash函数，给出了一种可行的hash距离度量方法.实验结果证实了本文所提出的认知has... 详细信息

网络环境下海量数据的来源可信性研究十分重要.本文提出和设计了一种基于认知hash的文本来源可信性检测方法.我们基于知网语义特征，设计了一种文本认知hash函数，给出了一种可行的hash距离度量方法.实验结果证实了本文所提出的认知hash设计方法的有效性.

关键词：文本信息认知hash 来源可信性

来源：评论

学校读者我要写书评

暂无评论

可信平台模块自动化测试研究

引用

计算机研究与发展 2009年第11期46卷 1839-1846页

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

可信平台模块(trusted platform module,TPM)是信息安全领域新发展趋势可信计算的关键部件,对其进行规范符合性测试非常有必要.由于传统测试方法与经验无法满足精确、易被机器处理的测试要求,状态机理论可为符合性测试的正确性提供理论... 详细信息

可信平台模块(trusted platform module,TPM)是信息安全领域新发展趋势可信计算的关键部件,对其进行规范符合性测试非常有必要.由于传统测试方法与经验无法满足精确、易被机器处理的测试要求,状态机理论可为符合性测试的正确性提供理论基础,但易于产生状态爆炸问题.因此,基于TPM规范进行了一致性测试建模,提出相应策略提高测试效率,建立了TPM自动化测试工具.该工具能基于数据库自动生成测试用例,根据状态图进行一致性测试或自定义测试,达到过程可视化的效果.针对待测试产品得出了较为全面一致性结论和基本安全分析,为今后的可信产品安全性测试打下基础.

关键词：可信计算可信平台模块自动化测试工具一致性测试状态机建模

来源：评论

学校读者我要写书评

暂无评论

基于标记变迁系统的可信计算平台信任链测试

引用

计算机学报 2009年第4期32卷 635-645页

作者：徐明迪张焕国严飞空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430079 武汉大学软件工程国家重点实验室武汉430072

可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信... 详细信息

可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信任链行为特征,以进程代数作为指称语义描述工具,以标记变迁系统作为操作语义,对规范定义的信任链行为特征进行了形式化描述,提出了一种基于标记变迁系统的信任链测试模型框架.针对信任链规范与实现之间的问题,从易测性出发对测试集进行了有效约简;并论证了信任链的规范实现与规范说明之间的关系,为测试用例构造方法提供了理论依据,从而解决了信任链测试这一难题.

关键词：可信计算平台信任链进程代数标记变迁系统一致性测试

来源：评论

学校读者我要写书评

暂无评论

基于层次赋时CPN的网络系统建模与可生存性优化

引用

系统仿真学报 2009年第19期21卷 6303-6308页

作者：熊琦王丽娜刘陶杨墨武汉大学计算机学院武汉430079 空天信息安全及可信计算教育部重点实验室武汉430079

生存性分析是生存性增强的前提条件。针对当前生存性分析方法动态建模和复杂系统建模能力差的缺陷,提出了一种基于层次赋时CPN(HTCP-nets)的系统可生存性分析法,应用建模仿真工具CPN Tools对网络系统的生存环境和服务流程进行建模分析,... 详细信息

生存性分析是生存性增强的前提条件。针对当前生存性分析方法动态建模和复杂系统建模能力差的缺陷,提出了一种基于层次赋时CPN(HTCP-nets)的系统可生存性分析法,应用建模仿真工具CPN Tools对网络系统的生存环境和服务流程进行建模分析,求得了关键服务请求的平均响应时间、平均服务时间等表征系统生存能力的指标,最后根据分析结果给出了进行系统可生存增强的方法。

关键词：可生存性层次赋时CPN 系统行为建模生存环境建模可生存性增强

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的可信软件栈测试

基于模型检测的可信软件栈测试

引用

2010年第四届中国可信计算与信息安全学术会议

作者：何凡张焕国严飞杨飏汪红孟学军武汉大学计算机学院湖北武汉430072 武汉理工大学计算机科学与技术学院湖北武汉430063 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 湖北省政府采购中心湖北武汉430072 武汉大学网络中心湖北武汉430072

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中... 详细信息

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.

关键词：可信计算平台可信软件栈计算树逻辑一致性测试

来源：评论

学校读者我要写书评

暂无评论

一种基于签名和属性的可执行文件比较

引用

计算机研究与发展 2009年第11期46卷 1868-1876页

作者：傅建明乔伟高德斌武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学软件工程国家重点实验室武汉430072 新加坡管理大学新加坡178902

可执行文件比较广泛应用于软件版权检测、恶意软件家族检测、异常检测的模式更新以及补丁分析.传统方法无法满足应用对速度和精度的要求.在函数、基本块和指令级别上设计了一元指令签名、基于函数控制流程图邻接矩阵的函数一元结构签名... 详细信息

可执行文件比较广泛应用于软件版权检测、恶意软件家族检测、异常检测的模式更新以及补丁分析.传统方法无法满足应用对速度和精度的要求.在函数、基本块和指令级别上设计了一元指令签名、基于函数控制流程图邻接矩阵的函数一元结构签名、指令的强/中/弱一元签名,并提出了融合签名和属性的函数匹配算法、基本块匹配算法,从而简化了已有指令比较,可抗指令重排,优于SPP.并通过匹配权统计以及严格的最大唯一匹配策略和Hash进一步降低误报,提高效率.最后,实现原型工具PEDiff,并通过实验证实了该比较方法在速度和精度上具有良好的性能.

关键词：二进制分析反汇编结构签名指令签名控制流程图

来源：评论

学校读者我要写书评

暂无评论

一种基于DCT域的视频水印算法

引用

武汉理工大学学报 2009年第18期31卷 9-11,50页

作者：郑鹏刘敏忠空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430072

为了对现有的大量MPEG-2视频文件进行版权保护,需要一个能对现有视频进行快速水印嵌入,并且不影响视频图像质量的水印算法。根据这一目的,提出了一种基于MPEG-2压缩视频DCT域的有效视频水印算法。直接利用I-帧图像中的I型宏块的中频DCT... 详细信息

为了对现有的大量MPEG-2视频文件进行版权保护,需要一个能对现有视频进行快速水印嵌入,并且不影响视频图像质量的水印算法。根据这一目的,提出了一种基于MPEG-2压缩视频DCT域的有效视频水印算法。直接利用I-帧图像中的I型宏块的中频DCT系数进行水印嵌入,无须对压缩视频进行编码和解码,水印嵌入速度快,可实现水印的实时嵌入和提取。中频系数对人眼不太敏感,图像失真度小,同时选择中频系数也不会降低游程编码的性能。对MPEG-2视频进行了实验,实验结果表明方法非常有效。

关键词：水印 DCT系数 MPEG

来源：评论

学校读者我要写书评

暂无评论

一种基于无监督学习的MB1隐写分析方法

引用

东南大学学报（自然科学版） 2009年第3期39卷 442-446页

作者：江夏秋王丽娜胡东辉岳云涛武汉大学计算机学院武汉430079 空天信息安全及可信计算教育部重点实验室武汉430072 合肥工业大学计算机与信息学院合肥230009

为了提高针对混杂小样本集的MB1隐写算法的检测率,提出了一种泛化能力较强的MB1隐写分析方法.通过分析多种图像特征,在离散余弦变化(DCT)域选取对隐写敏感易变的特征,包括变分特征、块边界度量特征、共生矩阵特征和马尔可夫特征组成的10... 详细信息

为了提高针对混杂小样本集的MB1隐写算法的检测率,提出了一种泛化能力较强的MB1隐写分析方法.通过分析多种图像特征,在离散余弦变化(DCT)域选取对隐写敏感易变的特征,包括变分特征、块边界度量特征、共生矩阵特征和马尔可夫特征组成的108维特征向量,并以无监督学习中的支持向量数据描述法(SVDD)为分类器,使用含有混杂样本的小样本集进行训练,测试算法对隐写图像的检测率.实验结果表明,当检测相对嵌入率为40%以上的隐写图像时,检测率可靠度达到96%以上,明显高于其他2种基于支持向量机的经典算法.这说明本方法打破了其他方法对训练样本集的限制,提高了对混杂小样本集的MB1隐写算法的检测率.但由于它对混杂样本具有一定的容忍度,对较小嵌入率的隐写图像的检测率稍低.

关键词：隐写分析无监督学习 MB1隐写算法支持向量数据描述法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：