Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Indonesian Journal of Electrical Engineering and Computer Science
Xiaoxing Wang
Jiangsu Automation Research Institute, Lianyungang, Jiangsu, China

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

 1 
A Dynamic Non-interference Trust Chain Model Based on Security Process Algebra Xiaoxing Wang; Xiangying Kong; Xuebing Chen
Indonesian Journal of Electrical Engineering and Computer Science Vol 12, No 1: January 2014
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Trust Chain is the key technology of Trusted Computing. For lack of comprehensive theoretical model of Trust Chain, A dynamic Trust Chain Model is proposed based on Security Process Algebra and Non-interference. Then, give the formal description and proof of the model. Finally, Modeling Intel TXT according to the new model semantics and verify the security attributes of the model by automated verification tool.DOI : http://dx.doi.org/10.11591/telkomnika.v12i1.3206
Co-Authors Xiangying Kong Xuebing Chen