Recent advances on trusted computing in China 被引量：5

Recent advances on trusted computing in China

下载PDF

导出

摘要 This article highlights some recent research advances on trusted computing in China,focusing mainly on the methodologies and technologies related to trusted computing module,trusted computing platform,trusted network connection,trusted storage,and trustworthy software. This article highlights some recent research advances on trusted computing in China,focusing mainly on the methodologies and technologies related to trusted computing module,trusted computing platform,trusted network connection,trusted storage,and trustworthy software.

作者 DONG Wei CHEN LiQian

机构地区 School of Computer National Laboratory for Parallel and Distributed Processing

出处《Chinese Science Bulletin》 SCIE CAS 2012年第35期4529-4532,共4页

基金 supported by the National Natural Science Foundation of China(61120106006,60970035,61202120) National High-Tech Research and Development Program of China(2011AA010106)

关键词可信计算平台中国计算模块网络连接软件 trusted computing information security trustworthy software research advance

分类号 TP309 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献26

1FANG BinXing1, GUO YunChuan2,3 & ZHOU Yuan4 1School of Computer, Beijing University of Posts and Telecommunications, Beijing 100029, China,2Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China,3Graduate University of Chinese Academy of Sciences, Beijing 100049, China,4National Computer Network Emergency Response Technical Team/Coordination Center of China, Beijing 100029, China.Information content security on the Internet:the control model and its evaluation[J].Science China(Information Sciences),2010,53(1):30-49. 被引量：4
2ZHANG PengTao 1,2 , WANG Wei 1,2 & TAN Ying 1,2 1 Department of Machine Intelligence, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China,2 Key Laboratory of Machine Perception, Ministry of Education, Peking University, Beijing 100871, China.A malware detection model based on a negative selection algorithm with penalty factor[J].Science China(Information Sciences),2010,53(12):2461-2471. 被引量：4
3LIU Feng,TAN QingPing,MOHAMED Otmane Ait.Formal proof of integer adders using all-prefix-sums operation[J].Science China(Information Sciences),2012,55(9):1949-1960. 被引量：1
4LIU YanHeng,LIU XueLian,WANG Jian.A software cascading faults model[J].Science China(Information Sciences),2011,54(11):2454-2458. 被引量：1
5WEN Hong,HO PinHan,GONG Guang.A framework of physical layer technique assisted authentication for vehicular communication networks[J].Science China(Information Sciences),2010,53(10):1996-2004. 被引量：2
6LUO MingXing1,2,3, YANG YiXian1,2,3, WANG LiCheng1,2,3 & NIU XinXin1,2,3 1Information Security Center, State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China,2Key Laboratory of Network and Information Attack and Defence Technology of MOE, Beijing University of Posts and Telecommunications, Beijing 100876, China,3National Engineering Laboratory for Disaster Backup and Recovery, Beijing University of Posts and Telecommunications, Beijing 100876, China.Secure network coding in the presence of eavesdroppers[J].Science China(Information Sciences),2010,53(3):648-658. 被引量：8
7YAN Tao,YAN FengLi.Quantum key distribution using four-level particles[J].Chinese Science Bulletin,2011,56(1):24-28. 被引量：8
8ZHANG JunWei,MA JianFeng,MOON SangJae.Universally composable secure TNC model and EAP-TNC protocol in IF-T[J].Science China(Information Sciences),2010,53(3):465-482. 被引量：12
9ZHANG HuanGuo1,2, YAN Fei1,2, FU JianMing1,2, XU MingDi1,2, YANG Yang1,2, HE Fan1,2 & ZHAN Jing1,2 1School of Computer, Wuhan University, Wuhan 430072, China,2Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan 430072, China.Research on theory and key technology of trusted computing platform security testing and evaluation[J].Science China(Information Sciences),2010,53(3):434-453. 被引量：11
10LI Wei,LINing.A formal semantics for program debugging[J].Science China(Information Sciences),2012,55(1):133-148. 被引量：4

二级参考文献269

1YAN FengLi1, GAO Ting2 & LI YouCheng1 1 College of Physics and Information Engineering, Hebei Normal University, Shijiazhuang 050016, China,2 College of Mathematics and Information Science, Hebei Normal University, Shijiazhuang 050016, China.Quantum secret sharing between multiparty and multiparty with four states[J].Science China(Physics,Mechanics & Astronomy),2007,50(5):572-580. 被引量：18
2GAO Ting1,YAN FengLi2,3 & LI YouCheng2,3 1 College of Mathematics and Information Science,Hebei Normal University,Shijiazhuang 050016,China,2 College of Physics and Information Engineering,Hebei Normal University,Shijiazhuang 050016,China,3 Hebei Advanced Thin Films Laboratory,Shijiazhuang 050016,China.Quantum secret sharing between m-party and n-party with six states[J].Science China(Physics,Mechanics & Astronomy),2009,52(8):1191-1202. 被引量：15
3周伟,尹青,郭金庚.计算机安全中的无干扰模型[J].计算机科学,2005,32(2):159-165. 被引量：9
4林闯,彭雪海.可信网络研究[J].计算机学报,2005,28(5):751-758. 被引量：253
5陈伟东,冯登国,谭作文.指定验证方的门限验证签名方案及安全性证明[J].软件学报,2005,16(11):1967-1974. 被引量：8
6金芝.Revisiting the Meaning of Requirements[J].Journal of Computer Science & Technology,2006,21(1):32-40. 被引量：10
7Keqing HE,Rong PENG,Jing LIU,Fei HE,Peng LIANG,Bing LI.DESIGN METHODOLOGY OF NETWORKED SOFTWARE EVOLUTION GROWTH BASED ON SOFTWARE PATTERNS[J].Journal of Systems Science & Complexity,2006,19(2):157-181. 被引量：24
8张向英.《传播净化法案》：美国对色情网站的控制模式[J].社会科学,2006(8):136-143. 被引量：11
9LU Xicheng,WANG Huaimin,WANG Ji.Internet-based virtual computing environment(iVCE):Concepts and architecture[J].Science in China(Series F),2006,49(6):681-701. 被引量：33
10MEI Hong HUANG Gang ZHAO Haiyan JIAO Wenpin.A software architecture centric engineering approach for Internetware[J].Science in China(Series F),2006,49(6):702-730. 被引量：37

共引文献256

1张旸旸,袁玉宇,刘潇健,孙逊.电子商务网站的软件服务可信性评估方法[J].计算机应用研究,2020,37(S01):244-246. 被引量：1
2陈海燕,刘建勋,胡蓉.可信Web服务合成研究综述[J].吉首大学学报（自然科学版）,2011,32(1):30-36. 被引量：3
3田俊峰,朱叶.Trust Shell Based Constitution Model of Trusted Software[J].China Communications,2011,8(4):11-22. 被引量：2
4云本胜.基于Pi-演算的信任Web服务组合建模[J].计算机科学,2012,39(S3):240-244. 被引量：2
5郑志明,马世龙,李未,姜鑫,韦卫,马丽丽,唐绍婷.软件可信复杂性及其动力学统计分析方法[J].中国科学（F辑:信息科学）,2009,39(10):1050-1054. 被引量：8
6李震,刘斌,殷永峰,李晓勋.基于改进Petri网的可信软件模型验证和测试研究[J].计算机研究与发展,2010,47(S1):273-279.
7沈昌祥,张焕国,王怀民,王戟,赵波,严飞,余发江,张立强,徐明迪.可信计算的研究与发展[J].中国科学：信息科学,2010,40(2):139-166. 被引量：261
8张慧颖,李波,曹希真.针对航天测控实时软件的二级AHP-Fuzzy可信性评估模型[J].飞行器测控学报,2010,29(4):27-32.
9刘帮涛,罗敏,陈爱国,尹德辉.一种基于可信计算的动态口令机制[J].华中科技大学学报（自然科学版）,2013,41(S1):383-387.
10熊光泽,常政威,桑楠.可信计算发展综述[J].计算机应用,2009,29(4):915-919. 被引量：17

同被引文献48

1沈昌祥,张焕国,王怀民,王戟,赵波,严飞,余发江,张立强,徐明迪.可信计算的研究与发展[J].中国科学：信息科学,2010,40(2):139-166. 被引量：261
2LIXinghua,MAJianfeng,SangJaeMoon.Security extension for the Canetti-Krawczyk model in identity-based systems[J].Science in China(Series F),2005,48(1):117-124. 被引量：2
3戴桦.基于可信计算技术的信任评估机制研究[D].南京:南京邮电大学,2011:5.
4周永明.网络隔离与安全交互原型研究[D].上海:同济大学,2006.
5唐晋.网络单向隔离控制系统的设计与实现[D].成都:电子科技大学,2012.
6FIAT A,SHAMIR A.How to prove yourself:practial solution to identification and signature problems[C]// Proceedings on Advances in Cryptology-CRYPTO 1986.London:Springer-Vedag,1986:186-194.
7HESS F.Efficient identity based signature schemes based on pairings[C]// Proceedings of the 9th Annual International Workshop on Selected Areas in Cryptography.London:Springer-Verlag,2002:310-324.
8FUKUYAMA F.Trust:The social virtues and the creation of prosperity[M].London:Hamish Hamilton,1995.
9李梦君,李舟军,陈火旺.基于抽象解释理论的程序验证技术[J].软件学报,2008,19(1):17-26. 被引量：30
10Steensgaard B. Points-to analysis in almost linear time [C]// Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, 1996:32-41.

引证文献5

1刘一博,殷肖川,高培勇,张毅卜.基于可信计算的网络互联模型[J].计算机应用,2014,34(7):1936-1940. 被引量：2
2尹帮虎,陈立前,王戟.基于指向与数值抽象的带指针算术程序的分析方法[J].计算机科学,2015,42(7):32-37. 被引量：2
3孔功胜.云计算安全认证与可信接入协议研究进展[J].河南大学学报（自然科学版）,2017,47(1):62-72. 被引量：6
4涂山山,胡俊,宁振虎,王晓,刘国杰.可信计算:打造云安全新架构[J].信息安全研究,2017,3(5):440-450. 被引量：11
5Xiangyu Wang,Jianfeng Ma.Cloud-Network-End Collaborative Security for Wireless Networks:Architecture,Mechanisms,and Applications[J].Tsinghua Science and Technology,2025,30(1):18-33.

二级引证文献21

1史俊.创新,政治教学的生命[J].中学教育,2000(8):29-31.
2金雷,徐开勇,李剑飞,成茂才.一种面向网络信息系统的TCP应用架构设计[J].计算机科学,2015,42(10):154-158.
3于庆云,张蒙蒙.全国海洋突发事件应急管理系统设计与实现[J].海洋开发与管理,2017,34(9):54-58. 被引量：3
4姜加红,尹帮虎,陈立前.基于区间线性模版约束的程序分析[J].计算机学报,2018,41(3):545-557.
5许光泞,崔隽,何锡点,徐鑫朋,袁铭.终端安全接入数据中心方法研究[J].网络安全技术与应用,2018(11):17-19. 被引量：2
6苏醒.基于云计算的IT数据中心安全问题研究[J].软件,2019,40(6):144-147.
7邓巍,黄萍.可信云安全的关键技术与实现分析[J].科学与信息化,2019,0(29):63-63. 被引量：1
8孙强强,连耿雄.基于多因素认证的电力安全认证方案设计[J].微型电脑应用,2019,35(11):84-87. 被引量：5
9周黎鸣,陈璐,刘金明,党兰学,袁科.基于随机游走的多分支端到端位置隐私保护方法[J].河南大学学报（自然科学版）,2019,49(6):698-703.
10王淑栋,尹文静,董玉坤,张莉,刘浩.面向顺序存储结构的数据流分析[J].软件学报,2020,31(5):1276-1293. 被引量：5

1Kun Yang,Yingfei Dong.Recent Advances in Smart Grid[J].ZTE Communications,2015,13(3):1-1.
2XIA ShiHong WANG ZhaoQi.Recent advances on virtual human synthesis[J].Science in China(Series F),2009,52(5):741-757. 被引量：5
3马林,邓宸伟,颜庆义,林维斯.Recent Advances and Challenges of Visual Signal Quality Assessment[J].China Communications,2013,10(5):62-78. 被引量：1
4Qing-zheng XU,Lei WANG.Review:Recent advances in the artificial endocrine system[J].Journal of Zhejiang University-Science C(Computers and Electronics),2011,12(3):171-183. 被引量：2
5WANG Xiao-fan (Department of Automation, Shanghai Jiaotong University, Shanghai 200030, China).Recent Advances in Complex Networks[J].系统仿真学报,2002,14(11):1472-1478. 被引量：1
6Special Issue on Recent Advances and New Directions in Switched Control Systems[J].控制理论与应用（英文版）,2006,4(1):1-1.
7Cheng Xiang.Editorial Special issue on recent advances in hybrid control theory and applications[J].Control Theory and Technology,2014,12(3):217-217.
8Xiaofeng TAO,Yan HAN,Xiaodong XU,Ping ZHANG,Victor C.M.LEUNG.Recent advances and future challenges for mobile network virtualization[J].Science China(Information Sciences),2017,60(4):1-12. 被引量：3
9Yingying ZHU,Cong YAO,Xiang BAI.Scene text detection and recognition： recent advances and future trends[J].Frontiers of Computer Science,2016,10(1):19-36. 被引量：24
10Weimin TAN,Bo YAN.A survey on high coherence visual media retargeting： recent advances and applications[J].Frontiers of Computer Science,2016,10(5):778-796.

Chinese Science Bulletin

2012年第35期

浏览历史

内容加载中请稍等...