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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机学报 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自动化测试工具.该工具能基于数据库自动生成测试用例,根据状态图进行一致性测试或自定义测试,达到过程可视化的效果.针对待测试产品得出了较为全面一致性结论和基本安全分析,为今后的可信产品安全性测试打下基础.

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种改进的可信计算平台密码机制

引用

武汉大学学报（理学版） 2009年第1期55卷 11-16页

作者：朱智强余发江张焕国严飞武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室湖北武汉430072

在分析可信计算组织TCG可信计算平台现有密码机制的不足的基础上,给出了一种改进的可信计算平台密码机制,在可信平台模块(TPM)内增加了对称引擎,采用统一的授权协议,精简了密钥授权访问认证,解决了TPM密钥内外部不同步的问题.通过在可... 详细信息

在分析可信计算组织TCG可信计算平台现有密码机制的不足的基础上,给出了一种改进的可信计算平台密码机制,在可信平台模块(TPM)内增加了对称引擎,采用统一的授权协议,精简了密钥授权访问认证,解决了TPM密钥内外部不同步的问题.通过在可信计算平台相关标准和产品中的实际应用表明,改进后的密码机制进一步增强了TPM的安全性,提高了可信计算平台的适用性.

关键词：信息安全系统安全可信计算平台(TCP) 可信平台模块(TPM)

来源：评论

学校读者我要写书评

暂无评论

基于颜色表扩展技术的数据隐藏方法

引用

通信学报 2009年第4期30卷 137-140页

作者：费如纯王丽娜张焕国武汉大学计算机学院湖北武汉430072 辽宁科技学院信息工程系辽宁本溪117022 教育部空天信息安全与可信计算重点实验室湖北武汉430072

提出了一种基于索引图像颜色表扩展技术的数据隐藏方法,并对该方法的安全性及隐藏容量进行了分析,分析结果表明,该方法具有很强的安全性和很高的隐藏容量。利用该方法可以将机密数据隐藏在索引掩护图像中,获得的伪装图像具有与原始掩护... 详细信息

提出了一种基于索引图像颜色表扩展技术的数据隐藏方法,并对该方法的安全性及隐藏容量进行了分析,分析结果表明,该方法具有很强的安全性和很高的隐藏容量。利用该方法可以将机密数据隐藏在索引掩护图像中,获得的伪装图像具有与原始掩护图像完全相同的视觉效果。如果提供正确的密钥,机密数据可以从伪装图像中无失真地得以恢复。另外,由于使用了随机数,机密数据的统计特性被完全掩盖,伪装图像与机密数据统计独立。

关键词：掩护图像伪装图像数据隐藏统计特性隐藏容量

来源：评论

学校读者我要写书评

暂无评论

一种可生存iSCSI存储系统研究与实现

引用

小型微型计算机系统 2009年第10期30卷 2090-2095页

作者：王丽娜熊琦苏克青王德军武汉大学计算机学院湖北武汉430072 空天信息安全与可信计算教育部重点实验室湖北武汉430072 中南民族大学计算机学院湖北武汉430074

存储系统的可生存性至关重要,但目前存储安全的研究主要还集中在容灾和备份上,缺乏对其可生存性的研究.本文着重在iSCSI协议基础上进行存储系统的可生存性研究,设计并实现了基于iSCSI协议可生存性存储系统的原型系统,该系统是面向网络... 详细信息

存储系统的可生存性至关重要,但目前存储安全的研究主要还集中在容灾和备份上,缺乏对其可生存性的研究.本文着重在iSCSI协议基础上进行存储系统的可生存性研究,设计并实现了基于iSCSI协议可生存性存储系统的原型系统,该系统是面向网络的集中式安全存储系统.本系统的可生存性主要通过对客户端数据进行实时版本存储和版本数据的虚拟恢复来实现.系统在数据块级实时捕获客户端数据的变化,并对每次变化加入版本信息,在虚拟恢复时,系统根据要恢复的版本时间来定位相对应的数据块版本.

关键词： iSCSI 可生存性地址映射虚拟恢复

来源：评论

学校读者我要写书评

暂无评论

一种密钥协商协议的自动化设计方法

引用

武汉大学学报（理学版） 2009年第1期55卷 89-92页

作者：李松王丽娜余荣威匡波武汉大学计算机学院/空天信息安全与可信计算教育部重点实验室湖北武汉430072 中国人民解放军75742部队广东广州510510

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了... 详细信息

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性,表明该方法具有较强的可行性和适用性.

关键词：安全协议演化计算自动化设计 SVO逻辑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：