云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(61003268)

国家自然科学基金(61003268): 作品数：20被引量：134H指数：5; 导出分析报告; 相关作者：张焕国赵波徐明迪严飞王鹃更多>>; 相关机构：武汉大学教育部武汉数字工程研究所南通大学更多>>; 相关期刊：《计算机仿真》《计算机技术与发展》《计算机与现代化》《武汉大学学报（理学版）》更多>>; 相关主题：可信计算身份认证实时调度SECURITY信息安全更多>>; 相关领域：自动化与计算机技术电子电信经济管理更多>>

相关路径静态分析中协同式逆向推理方法被引量：5: 《软件学报》2015年第1期1-13,共13页郭曦王盼; 国家自然科学基金(61173138,61272452,91118003,61003268);湖北省自然科学基金(2014CFB144);中央高校基本科研业务费专项资金(0900206154);武汉大学博士研究生短期出国(境)研修专项经费; 相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.现有的方法主要通过改变路径节点序列来生成近邻的路径集合,...; 关键词：逆向分析近邻路径最弱前置条件符号执行

可信系统信任链研究综述被引量：19: 《电子学报》2014年第10期2024-2031,共8页徐明迪张焕国张帆杨连嘉; 国防预研基金(No.9140A15040211CB3901);国家自然科学基金(No.61003268);浙江省教育厅基金(No.Y201224055); 信任链是实施可信系统的关键技术之一,本文从信任链理论和应用系统出发,介绍了研究信任链理论的典型模型及近年来的研究进展,包括基于无干扰理论的信任链传递模型和基于组合安全理论的信任链模型,详细阐述了这两种信任链理论模型的优势...; 关键词：可信计算信任链理论无干扰理论组合安全理论静态信任链动态信任链信任链应用系统安全

可信计算技术在嵌入式操作系统中的应用被引量：5: 《武汉大学学报（理学版）》2014年第3期237-241,共5页徐明迪张帆; 国防预研基金(9140A15040211CB3901);国家自然科学基金(61003268);浙江省教育厅基金资助项目(Y201224055); 针对通用可信计算技术难以直接满足嵌入式操作系统实时性要求的问题,通过对现有可信计算信任链进行裁剪,提出了一种基于完整性度量证书的信任链结构,在嵌入式操作系统内核中构造了嵌入式实时可信平台模块和可信软件栈.实验表明,嵌入式...; 关键词：嵌入式操作系统可信计算技术完整性度量证书实时调度

IaaS下虚拟机的安全存储和可信启动被引量：3: 《武汉大学学报（理学版）》2014年第3期231-236,共6页王庆飞严飞王鹃王涛石翔; 国家自然科学基金资助项目(61272452,61003268,9111803,61303024,61173138);国家重点基础研究发展计划项目(973)(2014CB340600); 针对大多数现有技术主要依据可信硬件来保护虚拟机(VM,virtual machine)运行平台的安全,而缺乏对VM安全存储和可信启动保护的问题,提出了一种解决在云平台基础设施服务策略(IaaS,Infrastructure as a Service)下VM的安全存储和可信启动(...; 关键词：虚拟机远程证明虚拟机存储虚拟机度量

面向移动平台的新型身份认证方案设计被引量：4: 《计算机科学》2014年第4期99-102,共4页胡卫张焕国魏国珩周学广; 国家自然科学基金(60970115);国家自然科学基金(61003268)资助; 各种类型的移动平台如智能手机、平板电脑、嵌入式系统快速普及,并渗透到生活和工作的方方面面,但是移动平台在带给大家丰富多彩的应用和方便快捷的生活的同时,也带来了许多新的安全问题。身份认证和接入认证是保护移动平台的第一道屏...; 关键词：移动平台身份认证图形密码多点触控重力感应

Toward reverse engineering on secret S-boxes in block ciphers被引量：5: 《Science China(Information Sciences)》2014年第3期164-181,共18页TANG Ming QIU ZhenLong PENG HongBo HU XiaoBo YI Mu ZHANG HuanGuo; supported by the National Natural Science Foundation of China(Grant Nos.61202386,60970116,60970115,61003268,61003267); It has been widely accepted that the security cryptosystems should be only dependent on the security of their secret keys. However, there are still secret ciphers with unknown components in their commercial applicatio...; 关键词：SCA DPA SPEDPA CRYPTANALYSIS block ciphers S-boxes

嵌入式实时操作系统可信计算技术研究被引量：10: 《计算机工程》2014年第1期130-133,共4页徐明迪杨连嘉; 国家自然科学基金资助项目(61003268); 可信计算能有效提高嵌入式实时操作系统的安全性,但现有的可信计算技术较难满足该系统实时性和低功耗的要求。为此,提出一种基于VxWorks内核的可信计算解决方案。设计嵌入式实时可信平台模块和可信软件栈,实现基于完整性度量证书的信任...; 关键词：嵌入式实时操作系统可信计算完整性度量证书访问控制实时调度

一种基于手机令牌和NFC技术的身份认证系统被引量：3: 《武汉大学学报（理学版）》2013年第5期403-410,共8页王鹃唐西铭王勇严飞马骏徐晶孙庆鑫; 国家自然科学基金(61003268);湖北省自然基金(2010CDB08601);中央高校基本科研业务费专项基金(211274629)资助项目; 针对目前Web站点的身份认证安全问题,提出了一种基于手机令牌和近距离无线通信(NFC,near field communication)技术的身份认证方法,并在Android平台上实现了该系统.该系统利用手机使用手机令牌实现了USBKey的主要功能,当用户访问站点进...; 关键词：手机令牌近距离无线通信(NFC near field communication) 身份认证

一种基于改进Fuzzing架构的工业控制设备漏洞挖掘框架被引量：6: 《武汉大学学报（理学版）》2013年第5期411-415,共5页向騻赵波纪祥敏张焕国; 国家自然科学基金(61173138;61272452);国家自然科学基金青年基金(61003268);湖北省重点新产品新工艺研究开发项目(2012BAA03004)资助项目; 漏洞挖掘是解决当前工业控制系统安全问题的有效途径.本文分析了现有工业控制平台漏洞挖掘的问题,提出了一种改进的Fuzzing架构.通过引入置信度的概念对测试用例进行量化,将其作为分类器的输入进行分类,从而预先筛选出可能有效的测试用...; 关键词：工业控制系统 FUZZING 置信度漏洞挖掘

网购中卖家动态信用评价模型的研究与分析被引量：2: 《计算机技术与发展》2013年第5期202-205,共4页丁淑娟李晓丽; 国家自然科学基金青年科学基金资助项目(61003268);江苏省现代教育技术研究课题(2010-R-16884); 随着电子商务的快速发展,现有的信用评价体系已经不能很好地反应卖家的信用情况。针对现有的网络购物平台中卖家信用评价体系的缺陷,并基于层次分析方法,提出了一种新的卖家动态信用评价模型(DCE)。模型的最终结果生成对卖家的动态信用...; 关键词：电子商务 C2C 动态信用评价模型信用评价

国家自然科学基金(61003268)