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

国家自然科学基金(61173138): 作品数：16被引量：65H指数：5; 导出分析报告; 相关作者：赵波张焕国严飞王鹃王盼更多>>; 相关机构：武汉大学教育部华中农业大学武汉电力职业技术学院更多>>; 相关期刊：《计算机学报》《电信科学》《Wuhan University Journal of Natural Sciences》《山东大学学报（理学版）》更多>>; 相关主题：TRUSTED_COMPUTING云计算VIRTUALPROTOCOLTRUSTED更多>>; 相关领域：自动化与计算机技术电子电信天文地球更多>>

SGX技术的分析和研究被引量：28: 《软件学报》2018年第9期2778-2798,共21页王鹃樊成阳程越强赵波韦韬严飞张焕国马婧; 国家自然科学基金(61402342,61173138,61103628,61772384); 国家重点基础研究发展计划(973)(2014CB340600); 信息保障技术重点实验室开放基金(KJ-17-103)~~; 安全性是云计算中一项极为重要的需求,然而如何保护云计算中关键应用程序和数据的安全、防止云平台管理员泄露用户隐私,仍然是目前没有解决的难题.2013年,Intel公司提出了新的处理器安全技术SGX,能够在计算平台上提供一个可信的隔离空间...; 关键词：云计算 SGX ENCLAVE 可信计算侧信道云安全

面向“互联网+”的公有云数据安全被引量：4: 《电信科学》2017年第10期71-80,共10页王永建宋爱波叶亚伟姜海波; 国家自然科学基金资助项目(No.61173138)~~; "互联网+"催生了许多新的经济形态与商业模式,公有云面临着严峻的安全挑战。研究了公有云数据安全问题,并提出了研究思路。首先,分析了同态加密的概念、加法同态加密与乘法同态加密的特点以及当前的研究成果和需要解决的难题。然后,根...; 关键词：公有云同态加密散列表相似性欧氏距离

基于污点跟踪的固件漏洞定位研究被引量：6: 《山东大学学报（理学版）》2016年第9期41-46,52,共7页戴忠华费永康赵波王婷; 国家重点基础研究发展计划(973计划)项目(2014CB340600);国家自然科学基金重点项目(61332019);国家自然科学基金资助项目(61173138,61272452);国家高技术研究发展计划(863计划)项目(2015AA016002); 在嵌入式设备的漏洞挖掘过程中,由于物理设备资源有限且运行环境封闭,导致由Fuzzing得到的异常无法得到及时确认和利用。以嵌入式固件为研究对象,提出一种基于污点跟踪的固件漏洞定位方法,该方法在仿真环境中进行动态分析,可以快速定位...; 关键词：设备仿真动态调试污点跟踪漏洞定位

DPTSV:A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation被引量：2: 《China Communications》2016年第1期161-175,共15页ZHAO Bo XIANG Shuang AN Yang TAO Wei; supported by the State Key Program of National Natural Science Foundation of China(Grant No.91118003);the National Natural Science Foundation of China(Grant No.61173138,61272452,61332019);the National Basic Research Program of China("973"Program)(Grant No.2014CB340600);the National High-Tech Research and Development Program of China("863"Program)(Grant No.2015AA016002); This paper analyzes the threat of TCG Software Stack(TSS)/TCM Service Module(TSM) deadlock in multi-user environment such as cloud and discusses its causes and mechanism.In addition,this paper puts forward a dynamic p...; 关键词：TCG software stack/TCM service module deadlock multi-user trusted platform module real-time value

An Improved vTPM-VM Live Migration Protocol被引量：5: 《Wuhan University Journal of Natural Sciences》2015年第6期512-520,共9页FAN Peiru ZHAO Bo SHI Yuan CHEN Zhihong NI Mingtao; Supported by the National Basic Research Program of China(973 Program)(2014CB340600);the National High Technology Research and Development Program of China(863 Program)(2015AA016002);the National Natural Science Foundation of China(61173138,61272452,61332018); To prevent malicious virtual machine from harming the security of vTPM-VM live migration process, we propose an im- proved vTPM-VM live migration protocol which uses a TPM-based integrity verification policy and a spe...; 关键词：1007-1202（2015）06-0512-09 trusted computing vTPM virtual machines live migration

A Security-Improved Scheme for Virtual TPM Based on KVM被引量：6: 《Wuhan University Journal of Natural Sciences》2015年第6期505-511,共7页SHI Yuan ZHAO Bo YU Zhao ZHANG Huanguo; Supported by the National Basic Research Program of China(973 Program)(2014CB340600);the National High Technology Research and Development Program of China(863 Program)(2015AA016002);the National Natural Science Foundation of China(61173138,61272452,61332018); Virtual trusted platform module （vTPM） is an impor- tant part in building trusted cloud environment. Aiming at the remediation of lack of effective security assurances of vTPM in- stances in the existing virtual TPM...; 关键词：trusted computing virtual trusted platform mod- ule（vTPM） TPM2.0 kernel-based virtual machine （KVM）

基于信誉权值策略的多重第三方远程证明机制: 《山东大学学报（理学版）》2015年第11期47-51,59,共6页纪祥敏苏航向騻周术诚; 国家重点基础研究发展计划(973计划)项目(2014CB340600);国家自然科学基金重点项目(6332019);国家自然科学基金资助项目(61173138,61272452); 针对单一第三方失效而影响云计算环境证明有效性问题,提出一种基于多重第三方远程证明机制。将单一第三方扩展为第三方验证者集群,保证了在部分验证者受到安全威胁情况下,仍然能够为证明请求者提供可靠的证明结果。同时提出第三方筛选...; 关键词：远程证明信誉权值策略多重第三方

基于k近邻最弱前置条件的程序多路径验证方法被引量：5: 《计算机学报》2015年第11期2203-2214,共12页郭曦王盼王建勇张焕国; 国家自然科学基金(61332019,61173138,61272452,91118003);国家“九七三”重点基础研究发展规划项目基金(2014CB340600);国家“八六三”高技术研究发展计划项目基金(2015AA016002);湖北省自然科学基金(2014CFB144);中央高校基本科研业务费专项基金(2662015QC009)资助~~; 程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展而生成缺乏针对性...; 关键词：程序验证静态分析最弱前置条件符号执行控制流图

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

A Trusted Mobile Payment Environment Based on Trusted Computing and Virtualization Technology被引量：2: 《Wuhan University Journal of Natural Sciences》2014年第5期379-384,共6页WANG Juan LIN Wutao LI Haoyu DU Bianxia MENG Ke WANG Jiang; Supported by the National Basic Research Program of China(973 Program)(2014CB340600);the National Natural Science Foundation of China(61173138,61103628,61103220);the Intel Collaborative Research Project; In this paper, we propose a trusted mobile payment environment （TMPE） based on trusted computing and virtualization technology. There are a normal operating system （OS） and a trusted OS （TOS） in TMPE. We store t...; 关键词：trusted computing mobile payment VIRTUALIZATION mobile platform

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(61173138)

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

国家自然科学基金(61173138)

检索结果分析

下载全文

用户登录

高级检索检索式检索