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

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

作者：高汉军寇鹏王丽娜余荣威董永峰武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对虚拟化平台下数据防泄漏系统的要求,本文结合可信平台模块(trusted platform module,TPM)的密钥管理优势,提出了一种基于eCrytpfs文件系统的透明加密系统设计与实现方法.该文件保护系统MeCryptfs(modified-eCryptfs)使用自定制TPM... 详细信息

针对虚拟化平台下数据防泄漏系统的要求,本文结合可信平台模块(trusted platform module,TPM)的密钥管理优势,提出了一种基于eCrytpfs文件系统的透明加密系统设计与实现方法.该文件保护系统MeCryptfs(modified-eCryptfs)使用自定制TPM密钥管理模块.改善了eCryptfs用户空间的密钥管理部分,通过取消多用户模式进一步增强了整个系统的安全性.测试结果表明,该透明加密系统具有较高的性能,能够满足加解密透明性要求.

关键词：透明加密密钥管理虚拟化平台 MeCryptfs加密系统

来源：评论

学校读者我要写书评

暂无评论

多变量代数理论及其在密码学中的应用

多变量代数理论及其在密码学中的应用

引用

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

作者：王后珍张焕国管海明伍前红武汉大学计算机学院空天信息安全与可信计算教育部重点实验室武汉430072 中国科学院数学机械化重点实验室北京100080 武汉大学计算机学院空天信息安全与可信计算教育部重点实验室武汉430072 中国电子设备系统工程公司通信研究所北京100039

介绍了有限域上二次多变量多项式方程组(MQ问题)求解理论的研究进展;描述了几种主要的MQ公钥密码算法及其相应的分析手段,并归纳出了MQ(multivariate quadratic)公钥密码系统设计所应遵循的基本准则;概括了MQ问题在其他密码学领域(如流... 详细信息

介绍了有限域上二次多变量多项式方程组(MQ问题)求解理论的研究进展;描述了几种主要的MQ公钥密码算法及其相应的分析手段,并归纳出了MQ(multivariate quadratic)公钥密码系统设计所应遵循的基本准则;概括了MQ问题在其他密码学领域(如流密码)中的应用;对MQ密码的研究前景进行了展望,并归纳出了一系列值得研究的开放问题.

关键词：密码学多变量代数理论 MQ问题公钥密码算法

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统可信平台模块研究

嵌入式系统可信平台模块研究

引用

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

作者：张焕国李晶潘丹铃赵波武汉大学计算机学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072 软件工程国家重点实验室湖北武汉430072

可信计算是一种信息系统安全的新技术,能够有效提高嵌入式系统安全性。本文首先分析了嵌入式系统环境对TPM研究提出的挑战,分析表明,现有TPM主要针对通用PC机设计,并不能满足嵌入式系统特有的应用需求。在此基础上,本文设计了一种嵌入... 详细信息

可信计算是一种信息系统安全的新技术,能够有效提高嵌入式系统安全性。本文首先分析了嵌入式系统环境对TPM研究提出的挑战,分析表明,现有TPM主要针对通用PC机设计,并不能满足嵌入式系统特有的应用需求。在此基础上,本文设计了一种嵌入式系统环境下的可信平台模块(ETPM)。与传统TPM目比,ETPM新增了总线仲裁、对称密码加解密和系统备份恢复能力,能够支持嵌入式平台的星型信任度量模型。这一设计已经在可信PDA中进行了实验验证,实验表明ETPM是实用、高效、可靠、安全的。

关键词：嵌入式系统信息安全可信计算平台模块

来源：评论

学校读者我要写书评

暂无评论

软件结构属性分析与恶意软件检测

软件结构属性分析与恶意软件检测

引用

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

作者：程斌林傅建明许静武汉大学计算机学院湖北武汉430072 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072

任何可执行文件都必须满足一定的结构特征.本文以Winelows平台下的PE文件为研究对象,从PE头、节头、节代码出发,给出了17个结构特征;针对给定正常软件和各类恶意软件,获得了这些属性取值分布特征;采用多类数据挖掘分类技术获得了正常软... 详细信息

任何可执行文件都必须满足一定的结构特征.本文以Winelows平台下的PE文件为研究对象,从PE头、节头、节代码出发,给出了17个结构特征;针对给定正常软件和各类恶意软件,获得了这些属性取值分布特征;采用多类数据挖掘分类技术获得了正常软件与恶意软件的判定规则.实验结果表明,C5.0的分类算法检测准确性最好,达到94.16％.这些规则可以为软件可信性度量提供依据.

关键词：可信软件恶意软件结构完整性数据挖掘

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

可信网络连接中一种基于可信度的细粒度授权模型

可信网络连接中一种基于可信度的细粒度授权模型

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

可信计算中的可信度量机制

可信计算中的可信度量机制

引用

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

作者：张立强张焕国张帆武汉大学软件工程国家重点实验室武汉430072 武汉大学计算机学院武汉430072 武汉大学计算机学院武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉430072 杭州电子科技大学通信工程学院杭州310018

为了解决可信计算中完整性度量架构过于复杂、难以扩展以及没有体现行为可信的问题,在分析完整性度量机制的基础上,对可信的概念进行扩展,引入信任度量机制,依据可信度量的需求和目标,给出需求导向、多目标融合的度量对象树模型以及对... 详细信息

为了解决可信计算中完整性度量架构过于复杂、难以扩展以及没有体现行为可信的问题,在分析完整性度量机制的基础上,对可信的概念进行扩展,引入信任度量机制,依据可信度量的需求和目标,给出需求导向、多目标融合的度量对象树模型以及对应的可信度量模型,通过与完整性度量模型的分析对比,可信度量模型能给出综合性的可信评估结果,具有可灵活扩展的特点,更加符合可信度量的实际需求.

关键词：完整性度量可信计算可信度量机制

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

盲环境下的数字图像可信性评估模型研究

引用

计算机学报 2009年第4期32卷 675-687页

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

随着各种数字图像处理软件和信息隐藏软件的涌现,数字图像正面临"信任危机".文中从可信的角度考虑数字图像的安全问题,提出盲环境下数字图像可信性评估的概念.文中提出了两类可信性评估模型:可信性判断模型和可信性度量模型.... 详细信息

随着各种数字图像处理软件和信息隐藏软件的涌现,数字图像正面临"信任危机".文中从可信的角度考虑数字图像的安全问题,提出盲环境下数字图像可信性评估的概念.文中提出了两类可信性评估模型:可信性判断模型和可信性度量模型.可信性判断模型在数字图像取证技术的基础上,围绕数字图像的不同生命阶段,判断数字图像是否可信.可信性度量模型分为可信性综合度量模型和可信性历史度量模型两种.文中设计了一种基于隐马尔可夫(HMM)的历史度量模型和一种基于模糊层次分析法的综合度量模型.在所设计模型的基础上,文中进一步研究了盲环境下数字图像可信性评估体系.文中最后通过实验结果验证了所提出的数字图像可信性综合度量模型的有效性.

关键词：数字图像评估模型可信性判断模型可信性历史度量模型可信性综合度量模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：