A Dynamic Non-interference Trust Chain Model Based on Security Process Algebra
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 ac...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | EJournal Article |
| Published: |
Institute of Advanced Engineering and Science,
2014-01-01.
|
| Subjects: | |
| Online Access: | Get fulltext |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01725 am a22003013u 4500 | ||
|---|---|---|---|
| 001 | ijeecs3058_1081 | ||
| 042 | |a dc | ||
| 100 | 1 | 0 | |a Wang, Xiaoxing |e author |
| 100 | 1 | 0 | |e contributor |
| 700 | 1 | 0 | |a Kong, Xiangying |e author |
| 700 | 1 | 0 | |a Chen, Xuebing |e author |
| 245 | 0 | 0 | |a A Dynamic Non-interference Trust Chain Model Based on Security Process Algebra |
| 260 | |b Institute of Advanced Engineering and Science, |c 2014-01-01. | ||
| 520 | |a 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 | ||
| 540 | |a Copyright (c) 2013 Institute of Advanced Engineering and Science | ||
| 540 | |a http://creativecommons.org/licenses/by-nc-nd/4.0 | ||
| 546 | |a eng | ||
| 690 | |a Technology;Computer Science;Computer Security | ||
| 690 | |a Trusted Computing; Trust Chain; Security Process Algebra; Non-interference | ||
| 655 | 7 | |a info:eu-repo/semantics/article |2 local | |
| 655 | 7 | |a info:eu-repo/semantics/publishedVersion |2 local | |
| 655 | 7 | |2 local | |
| 786 | 0 | |n Indonesian Journal of Electrical Engineering and Computer Science; Vol 12, No 1: January 2014; 747-752 | |
| 786 | 0 | |n 2502-4760 | |
| 786 | 0 | |n 2502-4752 | |
| 786 | 0 | |n 10.11591/ijeecs.v12.i1 | |
| 787 | 0 | |n https://ijeecs.iaescore.com/index.php/IJEECS/article/view/3058/1081 | |
| 856 | 4 | 1 | |u https://ijeecs.iaescore.com/index.php/IJEECS/article/view/3058/1081 |z Get fulltext |