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

基于可信计算的动态完整性度量架构被引量：47: 1; 作者刘孜文冯登国《电子与信息学报》 EI CSCD 北大核心 2010年第4期875-879,共5页; 该文提出一种基于可信计算的操作系统动态度量架构(DIMA),帮助管理员动态地检查系统中进程和模块的完整性。相对于以往的各种操作系统度量架构,该架构能按需对系统中活动的进程或模块进行动态实时的完整性度量与监控,基本解决了其他架... 展开更多; 关键词可信计算模块完整性度量动态完整性度量架构(DIMA); 在线阅读下载PDF 职称材料

基于可信计算的移动平台设计方案被引量：14: 2; 作者陈书义闻英友赵宏《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第8期1096-1099,共4页; 在深入研究现有可信移动平台设计方案和TCG移动可信模块相关技术的基础上,提出了带有移动可信模块的可信移动平台设计方案.平台采用基带处理器和应用处理器分离的结构,利用移动可信模块构建了以应用处理器为中心的可信区域,为移动平台... 展开更多; 关键词可信计算可信计算模块移动可信模块安全引导谓词逻辑; 在线阅读下载PDF 职称材料

基于可信计算应用的双域椭圆曲线密码协处理器研究与实现被引量：7: 3; 作者韩光陈光化 +1 位作者曾为民刘晶晶《微电子学与计算机》北大核心 2020年第12期53-58,共6页; 为了增强可信计算应用中可信平台模块(Trusted Platform Module,TPM)的安全性,设计并实现了支持双有限域的椭圆曲线密码协处理器.核心点乘运算采用倍点-点加算法,既减小了芯片的面积又保证了运算速度;通过对移位寄存器的复用,以及结合... 展开更多; 关键词可信计算平台模块椭圆曲线密码协处理器双有限域自动仿真; 在线阅读下载PDF 职称材料

一种基于影子页表+的软件型vTPM密钥秘密信息保护方案被引量：2: 4; 作者谭良王闪 +1 位作者宋敏舒红梅《密码学报》 CSCD 2019年第3期304-323,共20页; 由于TPM是一块资源受限的硬件芯片,在可信虚拟平台上所有用户虚拟机都通过共享TPM方式来实现可信计算的功能是不现实的.因此,当前不少虚拟平台在对TPM虚拟化时采用软件仿真方式,但现有虚拟机环境中的许多恶意攻击均能窃取和破坏此类vTP... 展开更多; 关键词虚拟机管理器可信计算模块虚拟化内存保护影子页表; 在线阅读下载PDF 职称材料

基于TPM的视频安全远程取证: 5; 作者马强马建国邢玲《电子科技大学学报》 EI CAS CSCD 北大核心 2012年第5期748-753,共6页; 为了保证视频内容被合法用户接收,且接收到的视频内容没有受到帧丢弃、帧重组等恶意攻击,对接收到的视频内容安全信息进行远程取证。提出了基于可信平台模块TPM的视频安全远程取证,对该远程取证的结构和过程进行了分析。为防止中间人伪... 展开更多; 关键词远程取证可信计算可信计算模块视频哈希视频安全; 在线阅读下载PDF 职称材料

一种基于TPM的手机第三方安全移动支付协议: 6; 作者刘永磊金志刚 +1 位作者郝琨张伟龙《高技术通讯》 CAS 2021年第6期581-588,共8页; 为解决in-APP第三方支付中密钥泄漏、信息显示不全、商家APP缺乏预信任等问题,采用着色Petri网(CPN)模型对现有的订单篡改、通知假冒、订单替换、非授权查询4种攻击进行建模分析,并通过推导不安全状态的可达性验证in-APP第三方支付系统... 展开更多; 关键词电子商务移动支付第三方着色Petri网(CPN) 可信计算模块(TPM); 在线阅读下载PDF 职称材料

题名基于可信计算的动态完整性度量架构被引量：47: 1; 作者刘孜文冯登国; 机构中国科学技术大学电子工程与信息科学系信息安全国家重点实验室中国科学院软件研究所; 出处《电子与信息学报》 EI CSCD 北大核心 2010年第4期875-879,共5页; 基金国家863计划项目(2007AA01Z412) 国家科技支撑计划项目(2008BAH22B06)资助课题; 文摘该文提出一种基于可信计算的操作系统动态度量架构(DIMA),帮助管理员动态地检查系统中进程和模块的完整性。相对于以往的各种操作系统度量架构,该架构能按需对系统中活动的进程或模块进行动态实时的完整性度量与监控,基本解决了其他架构难以避免的TOC-TOU问题,特别是针对某些直接对运行中的进程的攻击有很好的效果。另外,DIMA实现了对对象细粒度度量——由度量整个文件实体细分为度量代码、参数、堆栈等等。最后给出了基于Linux操作系统的动态度量原型实现,在实现中使用了基于可信平台模块(TPM)作为架构的信任源点,测试结果表明DIMA能够实现预定目标且有良好的性能。; 关键词可信计算模块完整性度量动态完整性度量架构(DIMA); Keywords Trusted Computing Module （TPM） Integrity measurement Dynamic Integrity Measurement Architecture （DIMA）; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于可信计算的移动平台设计方案被引量：14: 2; 作者陈书义闻英友赵宏; 机构东北大学信息科学与工程学院; 出处《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第8期1096-1099,共4页; 基金国家自然科学基金资助项目(60602061) 国家高技术研究发展计划项目(2006AA01Z413); 文摘在深入研究现有可信移动平台设计方案和TCG移动可信模块相关技术的基础上,提出了带有移动可信模块的可信移动平台设计方案.平台采用基带处理器和应用处理器分离的结构,利用移动可信模块构建了以应用处理器为中心的可信区域,为移动平台提供受保护的计算和存储空间,提高了移动平台的安全性、灵活性和可靠性.分析了现有可信移动平台安全引导过程安全漏洞,提出了改进的安全引导过程,并通过谓词逻辑对改进的引导过程进行了正确性验证.; 关键词可信计算可信计算模块移动可信模块安全引导谓词逻辑; Keywords trusted computing trusted computing module mobile trusted module security bootstrapping predicate logic; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于可信计算应用的双域椭圆曲线密码协处理器研究与实现被引量：7: 3; 作者韩光陈光化曾为民刘晶晶; 机构上海大学机电工程与自动化学院山东华翼微电子技术股份有限公司复旦大学微电子学院; 出处《微电子学与计算机》北大核心 2020年第12期53-58,共6页; 基金上海市自然科学基金(19ZR1420800)。; 文摘为了增强可信计算应用中可信平台模块(Trusted Platform Module,TPM)的安全性,设计并实现了支持双有限域的椭圆曲线密码协处理器.核心点乘运算采用倍点-点加算法,既减小了芯片的面积又保证了运算速度;通过对移位寄存器的复用,以及结合相乘和约减过程,大幅改善模乘算法的运算效率;将模逆算法中计算(x^-1)modp改进为(y*x^-1)modp,减少了逆运算后的额外模乘运算,降低了实现的复杂度.利用SystemC对算法进行建模,并与RTL电路相配合进行自动仿真,验证了改进算法电路的正确性,提高验证效率并大大减少研发周期.; 关键词可信计算平台模块椭圆曲线密码协处理器双有限域自动仿真; Keywords trusted platform module(TPM) elliptic curve crypto coprocessor dual-field automatic simulation; 分类号 TN492 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名一种基于影子页表+的软件型vTPM密钥秘密信息保护方案被引量：2: 4; 作者谭良王闪宋敏舒红梅; 机构四川师范大学计算机科学学院中国科学院计算技术研究所; 出处《密码学报》 CSCD 2019年第3期304-323,共20页; 基金国家自然科学基金(61373162) 四川省科技支撑项目(2014GZ0007)~~; 文摘由于TPM是一块资源受限的硬件芯片,在可信虚拟平台上所有用户虚拟机都通过共享TPM方式来实现可信计算的功能是不现实的.因此,当前不少虚拟平台在对TPM虚拟化时采用软件仿真方式,但现有虚拟机环境中的许多恶意攻击均能窃取和破坏此类vTPM运行时的密钥秘密信息,特别在全虚拟化和硬件虚拟化平台环境中,整个虚拟机均处于VMM的用户空间中, vTPM的密钥秘密信息更容易遭到攻击,这将严重影响虚拟机和vTPM的安全.为此,本文提出了一种基于影子页表+的软件型vTPM密钥秘密信息保护方案.该方案主要是在全虚拟化或硬件虚拟化平台中通过新增影子页表管理模块MMU-vTPM来保护vTPM的密钥秘密信息,该管理模块通过对vTPM密钥私有内存页表的访问控制来阻止其他进程非法访问和破坏vTPM密钥秘密信息私有内存.而且为了防止恶意用户对MMU-vTPM模块进行篡改,采用TPM的静态度量机制和动态度量机制对该模块进行完整性保护.最后,基于Xen实现了该方案.测试结果表明,该方案能够在保证vTPM的vEK和v SRK等关键密钥秘密信息的安全性,而且不会带来严重的性能损失.; 关键词虚拟机管理器可信计算模块虚拟化内存保护影子页表; Keywords virtual machine manager vTPM memory protection shadow page table; 分类号 TN918.4 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于TPM的视频安全远程取证: 5; 作者马强马建国邢玲; 机构中国工程物理研究院电子工程研究所西南科技大学信息工程学院; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2012年第5期748-753,共6页; 基金国家自然科学基金重点项目(60932005) 国家自然科学基金(60902021); 文摘为了保证视频内容被合法用户接收,且接收到的视频内容没有受到帧丢弃、帧重组等恶意攻击,对接收到的视频内容安全信息进行远程取证。提出了基于可信平台模块TPM的视频安全远程取证,对该远程取证的结构和过程进行了分析。为防止中间人伪造远程取证响应,提出了基于Fourier-Mellin的视频内容哈希算法,采用TPM对视频帧的特征进行认证;同时为提高远程取证的效率,提出了用于视频安全远程取证下的可区分粒度的取证模式,分析了如何能够有效地在粒度下视频序列中寻找不可信视频帧。通过实验证明了该视频哈希算法的有效性,并验证了可区分粒度取证模式的特点。; 关键词远程取证可信计算可信计算模块视频哈希视频安全; Keywords remote attestation trusted computing trusted platform module video hash video security; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于TPM的手机第三方安全移动支付协议: 6; 作者刘永磊金志刚郝琨张伟龙; 机构天津大学电气自动化与信息工程学院天津城建大学计算机与信息工程学院河北交通职业技术学院质量管理中心; 出处《高技术通讯》 CAS 2021年第6期581-588,共8页; 基金国家自然科学基金(61902273)资助项目。; 文摘为解决in-APP第三方支付中密钥泄漏、信息显示不全、商家APP缺乏预信任等问题,采用着色Petri网(CPN)模型对现有的订单篡改、通知假冒、订单替换、非授权查询4种攻击进行建模分析,并通过推导不安全状态的可达性验证in-APP第三方支付系统存在的安全漏洞。提出了基于可信平台模块(TPM)的新的支付协议模型,该模型利用TPM生成安全私钥用于改进数字签名和防止用户和商家APP串谋攻击等方面。安全性分析表明,相较于原协议,新的安全模型引入随机数抵御重放攻击,通过TPM安全芯片生成公私钥对,抵御因密钥泄漏引发的订单篡改与替换、通知假冒和非授权查询4种网络攻击,并通过协议中的额外安全性补偿机制解决了串谋攻击和订单信息显示不全等问题。; 关键词电子商务移动支付第三方着色Petri网(CPN) 可信计算模块(TPM); Keywords e-commerce mobile payment third-party color Petri net(CPN) trusted platform module(TPM); 分类号 TP309 [自动化与计算机技术—计算机系统结构] F724.6 [经济管理—产业经济] F832.2 [经济管理—金融学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于可信计算的动态完整性度量架构	刘孜文冯登国	《电子与信息学报》 EI CSCD 北大核心	2010	47	在线阅读下载PDF 职称材料
2	基于可信计算的移动平台设计方案	陈书义闻英友赵宏	《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心	2008	14	在线阅读下载PDF 职称材料
3	基于可信计算应用的双域椭圆曲线密码协处理器研究与实现	韩光陈光化曾为民刘晶晶	《微电子学与计算机》北大核心	2020	7	在线阅读下载PDF 职称材料
4	一种基于影子页表+的软件型vTPM密钥秘密信息保护方案	谭良王闪宋敏舒红梅	《密码学报》 CSCD	2019	2	在线阅读下载PDF 职称材料
5	基于TPM的视频安全远程取证	马强马建国邢玲	《电子科技大学学报》 EI CAS CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料
6	一种基于TPM的手机第三方安全移动支付协议	刘永磊金志刚郝琨张伟龙	《高技术通讯》 CAS	2021	0	在线阅读下载PDF 职称材料