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

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

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

嵌入式终端可信计算环境的关键技术被引量：5: 3; 作者王震宇刘鑫杰 +2 位作者任杰刘海雷吴杰《计算机工程》 CAS CSCD 北大核心 2008年第22期239-241,244,共4页; 阐述了在嵌入式终端上构建可信计算环境相关的嵌入式可信引导、TPM的扩展和驱动设计、嵌入式可信软件栈和嵌入式可信安全组件等关键问题。嵌入式可信引导可结合BR,USBKey和TPM等技术,保证用户、终端和应用三者间的可信认证。给出的嵌入... 展开更多; 关键词嵌入式终端可信引导可信软件栈可信安全组件; 在线阅读下载PDF 职称材料

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

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

可信密码模块的密钥服务兼容性研究与实现: 6; 作者蒋敏慧黄宁玉祝璐《计算机科学》 CSCD 北大核心 2010年第6期82-85,共4页; 可信密码模块TCM芯片提供了非对称算法ECC以及对称算法SMS4来支持密钥机制,它与国际可信计算组织TCG推出的可信平台模块TPM功能相同,但密码算法和密钥管理不同,导致了密钥功能可信应用的兼容性问题。分析两种芯片的密钥特点和可信软件... 展开更多; 关键词可信平台模块可信密码模块可信软件栈密钥管理兼容性; 在线阅读下载PDF 职称材料

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

题名基于混合加密的可信软件栈数据封装方案被引量：1: 1; 作者闫建红彭新光; 机构太原理工大学计算机科学与技术学院太原师范学院计算机系; 出处《计算机工程》 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 职称材料

题名针对可移动设备的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 职称材料

题名嵌入式终端可信计算环境的关键技术被引量：5: 3; 作者王震宇刘鑫杰任杰刘海雷吴杰; 机构解放军信息工程大学信息工程学院中国人民解放军九五八七九部队; 出处《计算机工程》 CAS CSCD 北大核心 2008年第22期239-241,244,共4页; 基金国家“863”计划基金资助项目(2007AA01Z483); 文摘阐述了在嵌入式终端上构建可信计算环境相关的嵌入式可信引导、TPM的扩展和驱动设计、嵌入式可信软件栈和嵌入式可信安全组件等关键问题。嵌入式可信引导可结合BR,USBKey和TPM等技术,保证用户、终端和应用三者间的可信认证。给出的嵌入式终端可信计算环境的方案保证了嵌入式可信平台的可重用性,同时也使平台具有更高的安全性和实用性。; 关键词嵌入式终端可信引导可信软件栈可信安全组件; Keywords embedded terminal trusted boot trusted software stack trusted security component; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

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

题名可信密码模块的密钥服务兼容性研究与实现: 6; 作者蒋敏慧黄宁玉祝璐; 机构北京工业大学计算机学院武汉大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2010年第6期82-85,共4页; 基金国家高技术发展计划(863)项目(2006AA01Z440 2009AA012437) +1 种基金国家重点基础研究发展计划(2007CB311100)资助; 文摘可信密码模块TCM芯片提供了非对称算法ECC以及对称算法SMS4来支持密钥机制,它与国际可信计算组织TCG推出的可信平台模块TPM功能相同,但密码算法和密钥管理不同,导致了密钥功能可信应用的兼容性问题。分析两种芯片的密钥特点和可信软件栈的密钥管理方式,提出了可信软件栈TCG服务提供者层TSP与TCG核心服务层TCS的重构方案,以及基于密钥生成流程的兼容方案,以解决密钥服务兼容问题。; 关键词可信平台模块可信密码模块可信软件栈密钥管理兼容性; Keywords TPM, TCM, TSS, Key management, Compatibility; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

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

	题名	作者	出处	发文年	被引量	操作
1	基于混合加密的可信软件栈数据封装方案	闫建红彭新光	《计算机工程》 CAS CSCD	2012	1	在线阅读下载PDF 职称材料
2	针对可移动设备的TCG软件协议栈的扩充	马洁林中	《计算机工程与设计》 CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
3	嵌入式终端可信计算环境的关键技术	王震宇刘鑫杰任杰刘海雷吴杰	《计算机工程》 CAS CSCD 北大核心	2008	5	在线阅读下载PDF 职称材料
4	一个面向智能电话的移动可信平台设计	杨健汪海航 Fui Fui Wong 于皓	《计算机科学》 CSCD 北大核心	2012	6	在线阅读下载PDF 职称材料
5	基于可信计算的全舰计算环境安全增强研究	尚文利邢祥宇刘贤达尹隆高恩阳	《舰船科学技术》北大核心	2020	2	在线阅读下载PDF 职称材料
6	可信密码模块的密钥服务兼容性研究与实现	蒋敏慧黄宁玉祝璐	《计算机科学》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
7	基于参数依赖关系检查的测试用例空间约简方法	陈亚莎叶清廖建华	《北京工业大学学报》 EI CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料