-
题名创新发展中的可信计算理论与技术
被引量：24
- 1
-
-
作者
冯登国
刘敬彬
秦宇
冯伟
-
机构
中国科学院软件研究所计算机科学国家重点实验室
中国科学院软件研究所可信计算与信息保障实验室
中国科学院大学
-
出处
《中国科学：信息科学》
CSCD
北大核心
2020年第8期1127-1147,共21页
-
基金
国家重点研发计划(批准号:2018YFB0904900,2018YFB0904903,2020YFE0200600)
国家自然科学基金(批准号:61872343,61802375)资助项目。
-
文摘
可信计算以硬件安全机制为基础,建立可信赖计算环境,从体系结构上全面增强系统和网络信任,是当前学术界和产业界的关注热点.随着信息技术的深入发展,新应用场景的不断涌现,网络空间的安全威胁日益严峻,因此可信计算在重要信息系统的安全防护领域将发挥越来越重要的作用.本文从创新发展角度,围绕作者20年来在可信计算领域的研究成果,综述了可信计算理论的发展历程,提炼总结出涵盖两大方法基础、三大信任核心和四大关键技术的可信计算技术体系,阐述了移动可信计算、抗量子可信计算、可信物联网、可信云、可信区块链等方面的重要研究问题以及可信计算在这些领域的融合创新成果.在移动可信计算方面,软硬件结合的可信执行环境体系架构设计和实现是研究重点,其次,移动操作系统内核运行时安全隔离防护,以及基于可信执行环境(trusted execution environment,TEE)的移动应用安全防护也是两个重要研究问题.在可信物联网方面,由于嵌入式环境本身的特性以及资源的受限,轻量级的信任根构建、高效安全的软件证明、实用的安全代码更新机制、集群设备证明是该领域有待进一步研究的重要问题.在抗量子可信计算、可信云、可信区块链等新型场景中,可信计算技术也在不断地拓展其应用边界,发挥更加重要的作用.最后本文展望和讨论了可信计算未来的发展趋势.
-
关键词
可信计算
可信执行环境
移动可信计算
抗量子可信计算
可信物联网
可信云
可信区块链
-
Keywords
trusted computing
trusted execution environment
mobile trusted computing
quantum-resistant trusted computing
trusted internet of things
trusted cloud
trusted blockchain
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于云计算的可信物联网安全机制构建
被引量：7
- 2
-
-
作者
张博
董辉
廖自荣
-
机构
亳州职业技术学院信息工程系
亳州市药业发展局
-
出处
《宜春学院学报》
2015年第6期41-43,共3页
-
基金
2014年度安徽省教育厅自然科学基金重点项目(KJ2014A171)
2014年度安徽省高校振兴计划优秀青年人才支持计划(皖教秘人2014(181)号)
2014年度亳州市政府科技创新团队项目(亳组2014(21)号)
-
文摘
物联网技术目前得到了广泛应用,如何进一步提高物联网系统的安全性,抵御非法入侵和攻击,避免物联网系统中的敏感数据泄露,成为目前物联网建设中的关键环节。建立基于云计算的可信物联网体系结构,实现从感知层到应用层的数据完整性,同时保证通信节点的稳定性,为云计算在可信物联网中的应用提供技术支持。
-
关键词
可信物联网
云计算
敏感数据
-
Keywords
trusted internet of things
Cloud - computing
Sensitive Data
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名TA-ONS——新型的物联网查询机制
被引量：4
- 3
-
-
作者
周彦伟
吴振强
-
机构
陕西师范大学计算机科学学院
-
出处
《计算机应用》
CSCD
北大核心
2010年第8期2202-2206,共5页
-
基金
国家863计划项目(2007AA01Z438200)
国家自然科学基金资助项目(60633020)
陕西师范大学研究生创新基金(2010CXS009)
-
文摘
针对传统物联网在隐私保护方面存在的缺陷,综合可信计算技术提出改进的物联网查询体系——可信匿名的物联网查询机制(TA-ONS),在传统物联网ONS查询中加入匿名认证过程,对本地ONS服务器(L-ONS)的身份合法性及平台可信性进行验证,为通过验证的L-ONS签发临时证书,在证书的有效期内L-ONS可持临时证书多次向TA-ONS申请查询服务,TA-ONS仅对授权且可信的L-ONS提供查询服务,防止非法的L-ONS查询物品信息,使用通用可组合安全模型对TA-ONS进行安全性证明。分析表明该模型具有安全性、匿名性、可信性和高效性等特点。
-
关键词
可信计算
物联网
匿名认证
通用可组合安全
-
Keywords
trusted computing internet Of things IOT anonymous authentication universally composable security
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于物联网安全的信任机制构建研究
被引量：1
- 4
-
-
作者
孟丹
-
机构
山西省霍州煤电集团煤炭运销部
-
出处
《能源与节能》
2014年第1期159-160,165,共3页
-
文摘
随着社会经济和科技的不断发展,信息化水平也不断提高,物联网逐渐成为信息技术的重要组成部分,人们对于物联网的关注也越来越重视。与此同时,物联网的安全和对物联网的信任机制建设就显得格外重要,这对于节约能源,实现社会的节能发展意义重大。主要介绍物联网和物联网存在的安全问题,以及基于物联网安全的信任机制的构建,以实现能源节约,促进节约型社会建设。
-
关键词
物联网
节能
物联网信任机制
-
Keywords
internet of things
energy conservation
trust mechanism of internet of things
-
分类号
TP393.4
[自动化与计算机技术—计算机应用技术]
-
