Property-based remote attestation in open network environment

• Information security • Previous Articles Next Articles

Property-based remote attestation in open network environment

Received:2007-07-23 Revised:2007-09-10 Online:2008-01-01 Published:2008-01-01
Contact: Li Li

开放网络环境下的属性远程证明

李莉曾国荪陈波

上海同济大学上海同济大学上海同济大学

通讯作者: 李莉

Abstract

Abstract: To resolve many existing problems in integrity-based remote attestation of trusted platform, an abstract model of property-based remote attestation was put forward, in which the property of platforms was validated by the trusted third party. Then the model was described and validated explicitly by a logic security language. This new method enriches the security semantic of platform attestation and is more adapt to the impartial and open network environment.

Key words: trusted computing, property, remote attestation, logic security language

摘要： 为解决基于完整性验证的可信平台证明机制中存在的诸多问题，给出了一个基于平台属性的远程证明抽象模型，借助可信第三方实现平台属性的有效验证。并使用逻辑安全语言对该模型进行了形式化描述和可行性验证。这种新的可信平台证明方式丰富了平台证明的安全语义，并且更适用于公平、开放的网络环境。

关键词: 可信计算, 属性, 远程证明, 逻辑安全语言

Li Li ZENG Guo-sun CHEN Bo. Property-based remote attestation in open network environment[J]. Journal of Computer Applications.

李莉曾国荪陈波. 开放网络环境下的属性远程证明[J]. 计算机应用.

[1]	XIAO Yuelei, DENG Xiaofan. Improvement and analysis of certificate-based wired local area network security association scheme [J]. Journal of Computer Applications, 2021, 41(7): 1970-1976.
[2]	ZHANG Xuewang, YIN Zijie, FENG Jiaqi, YE Caijin, FU Kang. Data trading scheme based on blockchain and trusted computing [J]. Journal of Computer Applications, 2021, 41(4): 939-944.
[3]	LIU Zongfu, YUAN Zheng, ZHAO Chenxi, ZHU Liang. Integral attack on PICO algorithm based on division property [J]. Journal of Computer Applications, 2020, 40(10): 2967-2972.
[4]	GUO Yihui, HUANG Chenghui, ZHONG Xueling, LU Jiyuan. Direction-perception feature recognition on mesh model [J]. Journal of Computer Applications, 2019, 39(12): 3673-3677.
[5]	HAN Deshuai, XING Jianchun, YANG Qiliang, LI Juelong. Modeling and verification approach for temporal properties of self-adaptive software dynamic processes [J]. Journal of Computer Applications, 2018, 38(3): 799-805.
[6]	QI Neng, TAN Liang. Trust chain model with waterfall characteristic based on trusted virtualization platform [J]. Journal of Computer Applications, 2018, 38(2): 327-336.
[7]	XU Mingdi, GAO Yang, GAO Xueyuan, ZHANG Fan. Correspondence property-based platform configuration attestation [J]. Journal of Computer Applications, 2018, 38(2): 337-342.
[8]	XIAO Yuelei, WU Junsheng, ZHU Zhixiang. Improvement and analysis of LAN security association scheme based on pre-shared key [J]. Journal of Computer Applications, 2018, 38(11): 3246-3251.
[9]	YAO Sheng, WANG Jie, XU Feng, CHEN Ju. Uncertainty measurement and attribute reduction in incomplete neighborhood rough set [J]. Journal of Computer Applications, 2018, 38(1): 97-103.
[10]	LIU Dinghao, LYU Jing, SUO Longlong, HU Xiangyu. Spoofing detection method of carrier tracking loop statistical property analysis [J]. Journal of Computer Applications, 2017, 37(9): 2507-2511.
[11]	WANG Xingxing, LI Guocheng. Sparse signal reconstruction optimization algorithm based on recurrent neural network [J]. Journal of Computer Applications, 2017, 37(9): 2590-2594.
[12]	ZHENG Linjang, LIU Xu, YI Bing. Dynamic weighted real-time map matching algorithm considering spatio-temporal property [J]. Journal of Computer Applications, 2017, 37(8): 2381-2386.
[13]	LI Zhengming, YANG Nanyue, CEN Jian. Dictionary learning algorithm based on Fisher discriminative criterion constraint of atoms [J]. Journal of Computer Applications, 2017, 37(6): 1716-1721.
[14]	LIU Xinxing, JI Donghong, REN Yafeng. Product property sentiment analysis based on neural network model [J]. Journal of Computer Applications, 2017, 37(6): 1735-1740.
[15]	LI Zhuo, LIU Jieyu, LI Hui, ZHOU Xiaogang, LI Weipeng. Feature detection and description algorithm based on ORB-LATCH [J]. Journal of Computer Applications, 2017, 37(6): 1759-1762.