检索结果-维普期刊中文期刊服务平台

可单步运行的TCG学习系统设计与实现: 1; 作者郝彦军包国琦《计算机工程与设计》 CSCD 北大核心 2014年第3期825-829,共5页; 通过对TCG相关文档分析,利用Linux平台下的TrouSerS和TPM-Emulator开源项目,设计并实现了一套基于Windows环境的可信计算平台学习系统。用户通过系统提供的"单步运行"模式,可以暂停TCG应用程序执行并观察相关信息,可以全程跟... 展开更多; 关键词可信计算平台 tcg软件栈单步运行同步; 在线阅读下载PDF 职称材料

针对可移动设备的TCG软件协议栈的扩充被引量：2: 2; 作者马洁林中《计算机工程与设计》 CSCD 北大核心 2006年第19期3586-3588,共3页; TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)... 展开更多; 关键词可信平台模型可信计算组织软件协议栈可移动设备服务接口层可移动设备驱动库函数层密封存储; 在线阅读下载PDF 职称材料

一个面向智能电话的移动可信平台设计被引量：6: 3; 作者杨健汪海航 +1 位作者 Fui Fui Wong 于皓《计算机科学》 CSCD 北大核心 2012年第8期20-25,共6页; 由于手机病毒或设备失窃,导致手机上的私密数据面临泄漏的危险。为了满足移动平台的安全需求,TCG的MPWG提出移动可信平台规范。然而MPWG并没有明确规定特定的技术方法来实现移动可信模块(MTM),现有研究中没有整体的可实际部署于智能手... 展开更多; 关键词移动可信平台模块 TRUSTZONE 智能卡 Java CARD 可信软件栈(tss) 软件部署; 在线阅读下载PDF 职称材料

基于可信计算的全舰计算环境安全增强研究被引量：2: 4; 作者尚文利邢祥宇 +2 位作者刘贤达尹隆高恩阳《舰船科学技术》北大核心 2020年第13期125-129,共5页; 全舰计算环境作为一种先进的舰船设计理念,深刻地影响了现代舰船设计理念。通过对现有全舰计算环境的分析,提出当前全舰计算环境面临的3点安全威胁,并提出了基于可信计算的安全增强手段。针对数据转换过程中缺少完整性校验问题提出了一... 展开更多; 关键词全舰计算环境可信计算可信软件栈安全增强; 在线阅读下载PDF 职称材料

基于混合加密的可信软件栈数据封装方案被引量：1: 5; 作者闫建红彭新光《计算机工程》 CAS CSCD 2012年第6期123-125,共3页; 可信计算的RSA密钥机制会制约运算速度。为此,提出一种基于混合加密的可信软件栈数据封装方案。介绍可信软件栈的结构以及密封过程和解封过程,改进可信密码模块功能函数。实验结果表明,该方案能减少加密时间,适用于较大数据量的密封,能... 展开更多; 关键词可信计算数据封装混合加密可信软件栈平台状态寄存器; 在线阅读下载PDF 职称材料

基于参数依赖关系检查的测试用例空间约简方法: 6; 作者陈亚莎叶清廖建华《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第5期616-620,共5页; 针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关... 展开更多; 关键词软件测试依赖关系符号执行可信软件栈; 在线阅读下载PDF 职称材料

题名可单步运行的TCG学习系统设计与实现: 1; 作者郝彦军包国琦; 机构广东工业大学计算机学院广东省公安厅; 出处《计算机工程与设计》 CSCD 北大核心 2014年第3期825-829,共5页; 基金国家科技支撑计划基金项目(2012BAH27F05) 广东高校优秀青年创新人才培养计划基金项目(LYM09066) +1 种基金广东省教育部产学研合作基金项目(2012B091000037); 文摘通过对TCG相关文档分析,利用Linux平台下的TrouSerS和TPM-Emulator开源项目,设计并实现了一套基于Windows环境的可信计算平台学习系统。用户通过系统提供的"单步运行"模式,可以暂停TCG应用程序执行并观察相关信息,可以全程跟踪、分析TCG应用程序执行过程。系统所有输出内容都以可视化图形方式显示,增加TCG应用程序结果的可读性,降低用户学习TCG的难度。结果表明在学习TCG的过程中,通过使用这套学习系统,可以起到事半功倍的效果。; 关键词可信计算平台 tcg软件栈单步运行同步; Keywords trusted computing platform tcg software stack single step synchronization; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名针对可移动设备的TCG软件协议栈的扩充被引量：2: 2; 作者马洁林中; 机构华北计算技术研究所; 出处《计算机工程与设计》 CSCD 北大核心 2006年第19期3586-3588,共3页; 基金电子信息产业发展基金项目(XDJZ-0309-01); 文摘 TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)和PDSI(可移动设备服务接口层)两个模块。实现了在扩充了的TSS基础上可移动设备的安全应用,使得可移动设备纳入了整个可信体系。; 关键词可信平台模型可信计算组织软件协议栈可移动设备服务接口层可移动设备驱动库函数层密封存储; Keywords TPM （trusted platformmodule） tss （tcg software stack） PDSI （portable deviceserviceinterface） PDDL （portable device driver library） sealed storage; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一个面向智能电话的移动可信平台设计被引量：6: 3; 作者杨健汪海航 Fui Fui Wong 于皓; 机构同济大学电子与信息工程学院大理学院数学与计算机学院; 出处《计算机科学》 CSCD 北大核心 2012年第8期20-25,共6页; 基金上海市科委2010年专项基金项目(10490503700)资助; 文摘由于手机病毒或设备失窃,导致手机上的私密数据面临泄漏的危险。为了满足移动平台的安全需求,TCG的MPWG提出移动可信平台规范。然而MPWG并没有明确规定特定的技术方法来实现移动可信模块(MTM),现有研究中没有整体的可实际部署于智能手机环境的MTM平台框架性设计,对可信软件栈(TSS)也没有可以实施的详细的部署方案。设计了一个面向智能手机的移动可信平台服务模型,它将基于TrustZone的纯软件MTM实现与基于Java Card的智能卡MTM实现结合起来构建两个可信引擎。提出其中可信构建块的部署流程并对其安全性进行了分析。; 关键词移动可信平台模块 TRUSTZONE 智能卡 Java CARD 可信软件栈(tss) 软件部署; Keywords MTM TrustZone Smart card Java card tcg software stack software deployment; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于可信计算的全舰计算环境安全增强研究被引量：2: 4; 作者尚文利邢祥宇刘贤达尹隆高恩阳; 机构中国科学院沈阳自动化研究所网络化控制系统重点实验室沈阳建筑大学信息与控制工程学院中国科学院机器人与智能制造创新研究院中国科学院大学; 出处《舰船科学技术》北大核心 2020年第13期125-129,共5页; 基金国家重点研发计划项目(2018YFB2004200) 中科院战略性先导科技专项项目(XDC02020200) 国家自然科学基金资助项目(61773368)。; 文摘全舰计算环境作为一种先进的舰船设计理念,深刻地影响了现代舰船设计理念。通过对现有全舰计算环境的分析,提出当前全舰计算环境面临的3点安全威胁,并提出了基于可信计算的安全增强手段。针对数据转换过程中缺少完整性校验问题提出了一种基于完整性校验和经验数据库的校验方法,针对设备抗伪造能力不足问题,采用一种基于设备不变属性的完整性校验方法。针对领域应用缺少程序级访问控制问题,提出一种基于可信软件栈的设计流程,从而提高领域应用的可信性。通过可信计算对全舰计算环境安全增强方法的研究,为构建安全可信的舰载系统提供参考。; 关键词全舰计算环境可信计算可信软件栈安全增强; Keywords total ship computing environment trusted computing tcg software stack security enhancement; 分类号 U622 [交通运输工程—船舶及航道工程]; 在线阅读下载PDF 职称材料

题名基于混合加密的可信软件栈数据封装方案被引量：1: 5; 作者闫建红彭新光; 机构太原理工大学计算机科学与技术学院太原师范学院计算机系; 出处《计算机工程》 CAS CSCD 2012年第6期123-125,共3页; 基金山西省自然科学基金资助项目(2009011022-2) 山西省留学基金资助项目(2009-28); 文摘可信计算的RSA密钥机制会制约运算速度。为此,提出一种基于混合加密的可信软件栈数据封装方案。介绍可信软件栈的结构以及密封过程和解封过程,改进可信密码模块功能函数。实验结果表明,该方案能减少加密时间,适用于较大数据量的密封,能在较小性能损失的情况下,保障用户数据安全。; 关键词可信计算数据封装混合加密可信软件栈平台状态寄存器; Keywords Trusted Computing（TC） data encapsulation hybrid encryption Trusted software stack（tss） Platform Configuration Registers （PCR）; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于参数依赖关系检查的测试用例空间约简方法: 6; 作者陈亚莎叶清廖建华; 机构海军工程大学电气与信息工程学院北京大学信息科学技术学院; 出处《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第5期616-620,共5页; 基金国家'九七三'计划资助项目(2007CB311100) 国家'八六三'计划资助项目(2006AA01Z440); 文摘针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.; 关键词软件测试依赖关系符号执行可信软件栈; Keywords software testing dependence relationship symbolic execution tcg software stack; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	可单步运行的TCG学习系统设计与实现	郝彦军包国琦	《计算机工程与设计》 CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料
2	针对可移动设备的TCG软件协议栈的扩充	马洁林中	《计算机工程与设计》 CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
3	一个面向智能电话的移动可信平台设计	杨健汪海航 Fui Fui Wong 于皓	《计算机科学》 CSCD 北大核心	2012	6	在线阅读下载PDF 职称材料
4	基于可信计算的全舰计算环境安全增强研究	尚文利邢祥宇刘贤达尹隆高恩阳	《舰船科学技术》北大核心	2020	2	在线阅读下载PDF 职称材料
5	基于混合加密的可信软件栈数据封装方案	闫建红彭新光	《计算机工程》 CAS CSCD	2012	1	在线阅读下载PDF 职称材料
6	基于参数依赖关系检查的测试用例空间约简方法	陈亚莎叶清廖建华	《北京工业大学学报》 EI CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料