期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
9
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于混合加密的可信软件栈数据封装方案
被引量:
1
1
作者
闫建红
彭新光
《计算机工程》
CAS
CSCD
2012年第6期123-125,共3页
可信计算的RSA密钥机制会制约运算速度。为此,提出一种基于混合加密的可信软件栈数据封装方案。介绍可信软件栈的结构以及密封过程和解封过程,改进可信密码模块功能函数。实验结果表明,该方案能减少加密时间,适用于较大数据量的密封,能...
可信计算的RSA密钥机制会制约运算速度。为此,提出一种基于混合加密的可信软件栈数据封装方案。介绍可信软件栈的结构以及密封过程和解封过程,改进可信密码模块功能函数。实验结果表明,该方案能减少加密时间,适用于较大数据量的密封,能在较小性能损失的情况下,保障用户数据安全。
展开更多
关键词
可信
计算
数据封装
混合加密
可信
软件
栈
平台状态寄存器
在线阅读
下载PDF
职称材料
针对可移动设备的TCG软件协议栈的扩充
被引量:
2
2
作者
马洁
林中
《计算机工程与设计》
CSCD
北大核心
2006年第19期3586-3588,共3页
TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)...
TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)和PDSI(可移动设备服务接口层)两个模块。实现了在扩充了的TSS基础上可移动设备的安全应用,使得可移动设备纳入了整个可信体系。
展开更多
关键词
可信
平台模型
可信
计算组织
软件
协议
栈
可移动设备服务接口层
可移动设备驱动库函数层
密封存储
在线阅读
下载PDF
职称材料
一个面向智能电话的移动可信平台设计
被引量:
6
3
作者
杨健
汪海航
+1 位作者
Fui Fui Wong
于皓
《计算机科学》
CSCD
北大核心
2012年第8期20-25,共6页
由于手机病毒或设备失窃,导致手机上的私密数据面临泄漏的危险。为了满足移动平台的安全需求,TCG的MPWG提出移动可信平台规范。然而MPWG并没有明确规定特定的技术方法来实现移动可信模块(MTM),现有研究中没有整体的可实际部署于智能手...
由于手机病毒或设备失窃,导致手机上的私密数据面临泄漏的危险。为了满足移动平台的安全需求,TCG的MPWG提出移动可信平台规范。然而MPWG并没有明确规定特定的技术方法来实现移动可信模块(MTM),现有研究中没有整体的可实际部署于智能手机环境的MTM平台框架性设计,对可信软件栈(TSS)也没有可以实施的详细的部署方案。设计了一个面向智能手机的移动可信平台服务模型,它将基于TrustZone的纯软件MTM实现与基于Java Card的智能卡MTM实现结合起来构建两个可信引擎。提出其中可信构建块的部署流程并对其安全性进行了分析。
展开更多
关键词
移动
可信
平台模块
TRUSTZONE
智能卡
Java
CARD
可信
软件
栈
(
tss
)
软件
部署
在线阅读
下载PDF
职称材料
嵌入式终端可信计算环境的关键技术
被引量:
5
4
作者
王震宇
刘鑫杰
+2 位作者
任杰
刘海雷
吴杰
《计算机工程》
CAS
CSCD
北大核心
2008年第22期239-241,244,共4页
阐述了在嵌入式终端上构建可信计算环境相关的嵌入式可信引导、TPM的扩展和驱动设计、嵌入式可信软件栈和嵌入式可信安全组件等关键问题。嵌入式可信引导可结合BR,USBKey和TPM等技术,保证用户、终端和应用三者间的可信认证。给出的嵌入...
阐述了在嵌入式终端上构建可信计算环境相关的嵌入式可信引导、TPM的扩展和驱动设计、嵌入式可信软件栈和嵌入式可信安全组件等关键问题。嵌入式可信引导可结合BR,USBKey和TPM等技术,保证用户、终端和应用三者间的可信认证。给出的嵌入式终端可信计算环境的方案保证了嵌入式可信平台的可重用性,同时也使平台具有更高的安全性和实用性。
展开更多
关键词
嵌入式终端
可信
引导
可信
软件
栈
可信
安全组件
在线阅读
下载PDF
职称材料
基于可信计算的全舰计算环境安全增强研究
被引量:
2
5
作者
尚文利
邢祥宇
+2 位作者
刘贤达
尹隆
高恩阳
《舰船科学技术》
北大核心
2020年第13期125-129,共5页
全舰计算环境作为一种先进的舰船设计理念,深刻地影响了现代舰船设计理念。通过对现有全舰计算环境的分析,提出当前全舰计算环境面临的3点安全威胁,并提出了基于可信计算的安全增强手段。针对数据转换过程中缺少完整性校验问题提出了一...
全舰计算环境作为一种先进的舰船设计理念,深刻地影响了现代舰船设计理念。通过对现有全舰计算环境的分析,提出当前全舰计算环境面临的3点安全威胁,并提出了基于可信计算的安全增强手段。针对数据转换过程中缺少完整性校验问题提出了一种基于完整性校验和经验数据库的校验方法,针对设备抗伪造能力不足问题,采用一种基于设备不变属性的完整性校验方法。针对领域应用缺少程序级访问控制问题,提出一种基于可信软件栈的设计流程,从而提高领域应用的可信性。通过可信计算对全舰计算环境安全增强方法的研究,为构建安全可信的舰载系统提供参考。
展开更多
关键词
全舰计算环境
可信
计算
可信
软件
栈
安全增强
在线阅读
下载PDF
职称材料
可信密码模块的密钥服务兼容性研究与实现
6
作者
蒋敏慧
黄宁玉
祝璐
《计算机科学》
CSCD
北大核心
2010年第6期82-85,共4页
可信密码模块TCM芯片提供了非对称算法ECC以及对称算法SMS4来支持密钥机制,它与国际可信计算组织TCG推出的可信平台模块TPM功能相同,但密码算法和密钥管理不同,导致了密钥功能可信应用的兼容性问题。分析两种芯片的密钥特点和可信软件...
可信密码模块TCM芯片提供了非对称算法ECC以及对称算法SMS4来支持密钥机制,它与国际可信计算组织TCG推出的可信平台模块TPM功能相同,但密码算法和密钥管理不同,导致了密钥功能可信应用的兼容性问题。分析两种芯片的密钥特点和可信软件栈的密钥管理方式,提出了可信软件栈TCG服务提供者层TSP与TCG核心服务层TCS的重构方案,以及基于密钥生成流程的兼容方案,以解决密钥服务兼容问题。
展开更多
关键词
可信
平台模块
可信
密码模块
可信
软件
栈
密钥管理
兼容性
在线阅读
下载PDF
职称材料
一种基于TPM芯片的计算机安全体系结构
被引量:
5
7
作者
邢启江
肖政
+1 位作者
侯紫峰
姜永华
《计算机工程》
CAS
CSCD
北大核心
2007年第15期152-154,共3页
针对现行通用个人计算机基于开放架构、存在诸多攻击点等安全问题,提出了一种基于TPM安全芯片的新型计算机体系结构。设计并实现了基于安全芯片的软件协议栈TSS,在安全芯片中使用软件协议栈,通过核心服务API来调用核心服务模块,解决远...
针对现行通用个人计算机基于开放架构、存在诸多攻击点等安全问题,提出了一种基于TPM安全芯片的新型计算机体系结构。设计并实现了基于安全芯片的软件协议栈TSS,在安全芯片中使用软件协议栈,通过核心服务API来调用核心服务模块,解决远程通信的平台信任问题。设计并实现了基于多协议的授权和认证管理,实现上层应用和TPM之间的授权会话及授权认证,从而保证计算机能够完成安全计算和安全存储的工作,使计算平台达到更高的安全性。
展开更多
关键词
TPM安全芯片
软件
协议
栈
可信
计算
安全体系结构
在线阅读
下载PDF
职称材料
基于参数依赖关系检查的测试用例空间约简方法
8
作者
陈亚莎
叶清
廖建华
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2010年第5期616-620,共5页
针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关...
针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.
展开更多
关键词
软件
测试
依赖关系
符号执行
可信
软件
栈
在线阅读
下载PDF
职称材料
可单步运行的TCG学习系统设计与实现
9
作者
郝彦军
包国琦
《计算机工程与设计》
CSCD
北大核心
2014年第3期825-829,共5页
通过对TCG相关文档分析,利用Linux平台下的TrouSerS和TPM-Emulator开源项目,设计并实现了一套基于Windows环境的可信计算平台学习系统。用户通过系统提供的"单步运行"模式,可以暂停TCG应用程序执行并观察相关信息,可以全程跟...
通过对TCG相关文档分析,利用Linux平台下的TrouSerS和TPM-Emulator开源项目,设计并实现了一套基于Windows环境的可信计算平台学习系统。用户通过系统提供的"单步运行"模式,可以暂停TCG应用程序执行并观察相关信息,可以全程跟踪、分析TCG应用程序执行过程。系统所有输出内容都以可视化图形方式显示,增加TCG应用程序结果的可读性,降低用户学习TCG的难度。结果表明在学习TCG的过程中,通过使用这套学习系统,可以起到事半功倍的效果。
展开更多
关键词
可信
计算平台
TCG
软件
栈
单步运行
同步
在线阅读
下载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
职称材料
题名
一个面向智能电话的移动可信平台设计
被引量:
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
职称材料
题名
嵌入式终端可信计算环境的关键技术
被引量:
5
4
作者
王震宇
刘鑫杰
任杰
刘海雷
吴杰
机构
解放军信息工程大学信息工程学院
中国人民解放军九五八七九部队
出处
《计算机工程》
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
职称材料
题名
基于可信计算的全舰计算环境安全增强研究
被引量:
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 种基金
哈尔滨工程大学核安全与仿真技术国防重点学科实验室开放课题HEUFN0801
国家重点基础研究发展计划(2007CB311100)资助
文摘
可信密码模块TCM芯片提供了非对称算法ECC以及对称算法SMS4来支持密钥机制,它与国际可信计算组织TCG推出的可信平台模块TPM功能相同,但密码算法和密钥管理不同,导致了密钥功能可信应用的兼容性问题。分析两种芯片的密钥特点和可信软件栈的密钥管理方式,提出了可信软件栈TCG服务提供者层TSP与TCG核心服务层TCS的重构方案,以及基于密钥生成流程的兼容方案,以解决密钥服务兼容问题。
关键词
可信
平台模块
可信
密码模块
可信
软件
栈
密钥管理
兼容性
Keywords
TPM, TCM,
tss
, Key management, Compatibility
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一种基于TPM芯片的计算机安全体系结构
被引量:
5
7
作者
邢启江
肖政
侯紫峰
姜永华
机构
山东工商学院计算中心
中国科学院计算所
海军航空工程学院电子信息工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第15期152-154,共3页
基金
国家"863"计划基金资助项目"数字证书SoC芯片"(2004AA1Z1090)
国家"863"计划基金资助项目"可信计算系统平台"(2005AA142030)
文摘
针对现行通用个人计算机基于开放架构、存在诸多攻击点等安全问题,提出了一种基于TPM安全芯片的新型计算机体系结构。设计并实现了基于安全芯片的软件协议栈TSS,在安全芯片中使用软件协议栈,通过核心服务API来调用核心服务模块,解决远程通信的平台信任问题。设计并实现了基于多协议的授权和认证管理,实现上层应用和TPM之间的授权会话及授权认证,从而保证计算机能够完成安全计算和安全存储的工作,使计算平台达到更高的安全性。
关键词
TPM安全芯片
软件
协议
栈
可信
计算
安全体系结构
Keywords
TPM security chip
software protocol stack
trusted computation
security architecture
分类号
TP303 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于参数依赖关系检查的测试用例空间约简方法
8
作者
陈亚莎
叶清
廖建华
机构
海军工程大学电气与信息工程学院
北京大学信息科学技术学院
出处
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2010年第5期616-620,共5页
基金
国家'九七三'计划资助项目(2007CB311100)
国家'八六三'计划资助项目(2006AA01Z440)
文摘
针对待测功能函数各参数间存在的控制或数据依赖关系,提出了一种利用符号执行约简测试用例空间的算法.具体内容包括:给出了基于控制流图的程序参数依赖关系定义;在此基础上,根据输入参数变量在程序执行时的信息流,提出了一种参数依赖关系的动态分析算法;将该方法应用于可信软件栈的功能测试中.实验结果表明:该方法在约简测试用例空间上具有较强的实用性,同时不会降低测试原有的检错能力.
关键词
软件
测试
依赖关系
符号执行
可信
软件
栈
Keywords
software testing
dependence relationship
symbolic execution
TCG software stack
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
可单步运行的TCG学习系统设计与实现
9
作者
郝彦军
包国琦
机构
广东工业大学计算机学院
广东省公安厅
出处
《计算机工程与设计》
CSCD
北大核心
2014年第3期825-829,共5页
基金
国家科技支撑计划基金项目(2012BAH27F05)
广东高校优秀青年创新人才培养计划基金项目(LYM09066)
+1 种基金
广东省自然科学基金重点项目(S2012020011071)
广东省教育部产学研合作基金项目(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
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于混合加密的可信软件栈数据封装方案
闫建红
彭新光
《计算机工程》
CAS
CSCD
2012
1
在线阅读
下载PDF
职称材料
2
针对可移动设备的TCG软件协议栈的扩充
马洁
林中
《计算机工程与设计》
CSCD
北大核心
2006
2
在线阅读
下载PDF
职称材料
3
一个面向智能电话的移动可信平台设计
杨健
汪海航
Fui Fui Wong
于皓
《计算机科学》
CSCD
北大核心
2012
6
在线阅读
下载PDF
职称材料
4
嵌入式终端可信计算环境的关键技术
王震宇
刘鑫杰
任杰
刘海雷
吴杰
《计算机工程》
CAS
CSCD
北大核心
2008
5
在线阅读
下载PDF
职称材料
5
基于可信计算的全舰计算环境安全增强研究
尚文利
邢祥宇
刘贤达
尹隆
高恩阳
《舰船科学技术》
北大核心
2020
2
在线阅读
下载PDF
职称材料
6
可信密码模块的密钥服务兼容性研究与实现
蒋敏慧
黄宁玉
祝璐
《计算机科学》
CSCD
北大核心
2010
0
在线阅读
下载PDF
职称材料
7
一种基于TPM芯片的计算机安全体系结构
邢启江
肖政
侯紫峰
姜永华
《计算机工程》
CAS
CSCD
北大核心
2007
5
在线阅读
下载PDF
职称材料
8
基于参数依赖关系检查的测试用例空间约简方法
陈亚莎
叶清
廖建华
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2010
0
在线阅读
下载PDF
职称材料
9
可单步运行的TCG学习系统设计与实现
郝彦军
包国琦
《计算机工程与设计》
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部