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

武汉大学学报（理学版） 2010年第4期56卷 446-450页

作者：杨飏张焕国张帆徐士伟武汉大学计算机学院湖北武汉430072 武汉大学软件工程国家重点实验室湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证... 详细信息

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.

关键词：可信平台模块安全性分析应用编程接口一阶逻辑

来源：评论

学校读者我要写书评

暂无评论

基于分布式可信度量的移动代理安全应用模型研究

引用

计算机工程与科学 2010年第6期32卷 19-21,98页

作者：武小平邢宏根沈志东武汉大学计算机学院空天信息安全与可信计算教育部重点实验室湖北武汉430072 湖北大学知行学院湖北武汉430011 武汉大学国际软件学院软件工程国家重点实验室湖北武汉430079

本文主要讨论了可信计算平台上的移动代理安全方案。利用可信计算平台提供的可信度量策略与信任链机制,构建基于可信度量的移动代理安全体系结构。进一步地,在此类平台所构成的移动代理分布式计算环境中,建立了移动代理平台间基于可信... 详细信息

本文主要讨论了可信计算平台上的移动代理安全方案。利用可信计算平台提供的可信度量策略与信任链机制,构建基于可信度量的移动代理安全体系结构。进一步地,在此类平台所构成的移动代理分布式计算环境中,建立了移动代理平台间基于可信度量的信任关系数学模型,并进行了数值模拟与测试验证。

关键词：可信度量移动代理信任模型

来源：评论

学校读者我要写书评

暂无评论

新疆广播电视大学网络教学平台课程个性化学习系统的设计与安全机制研究

引用

武汉大学学报（理学版） 2010年第4期56卷 457-461页

作者：米兰.黑娜亚提张立强张焕国新疆广播电视大学远程教育学院乌鲁木齐新疆830049 武汉大学软件工程国家重点实验室武汉湖北430072 武汉大学计算机学院武汉湖北430072 武汉大学空天信息安全与可信计算教育部重点实验室武汉湖北430072

新疆广播电视大学的网络教学平台是新疆发展远程教育的骨干力量,提供双语教学,能够满足绝大部分教学需求,但是在教学内容与平台智能方面还未实现精细化教学的目标,难以实现因材施教.本文针对上述问题,引入了个性化学习理论,在现有网络... 详细信息

新疆广播电视大学的网络教学平台是新疆发展远程教育的骨干力量,提供双语教学,能够满足绝大部分教学需求,但是在教学内容与平台智能方面还未实现精细化教学的目标,难以实现因材施教.本文针对上述问题,引入了个性化学习理论,在现有网络教学平台上设计网上课程个性化学习系统架构,并对系统中的资源建设与管理、个性化设计以及安全性机制进行了探讨.网上课程个性化学习系统可以在确保教学平台安全可信的前提下提高教学质量,有利于学生的个人发展.

关键词：网络化教学个性化学习信息安全

来源：评论

学校读者我要写书评

暂无评论

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

引用

武汉大学学报（理学版） 2010年第2期56卷 129-132页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第三届中国计算机网络与信息安全学术会议(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％.这些规则可以为软件可信性度量提供依据.

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：