A Formal Model of Trust Chain based on Multi-level Security Policy
Trust chain is the core technology of trusted computing. A formal model of trust chain based on finite state automata theory is proposed. We use communicating sequential processes to describe the system state transition in trust chain and by combining with multi-level security strategy give the defi...
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 | 01633 am a22002893u 4500 | ||
|---|---|---|---|
| 001 | ijeecs3054_1077 | ||
| 042 | |a dc | ||
| 100 | 1 | 0 | |a Xiangying, Kong |e author |
| 100 | 1 | 0 | |e contributor |
| 700 | 1 | 0 | |a Yi, Zhuang |e author |
| 700 | 1 | 0 | |a Xiaoxing, Wang |e author |
| 245 | 0 | 0 | |a A Formal Model of Trust Chain based on Multi-level Security Policy |
| 260 | |b Institute of Advanced Engineering and Science, |c 2014-01-01. | ||
| 520 | |a Trust chain is the core technology of trusted computing. A formal model of trust chain based on finite state automata theory is proposed. We use communicating sequential processes to describe the system state transition in trust chain and by combining with multi-level security strategy give the definition of trust system and trust decision theorem of trust chain transfer which is proved meantime. Finally, a prototype system is given to show the efficiency of the model. DOI : http://dx.doi.org/10.11591/telkomnika.v12i1.3192 | ||
| 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 | |||
| 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; 718-723 | |
| 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/3054/1077 | |
| 856 | 4 | 1 | |u https://ijeecs.iaescore.com/index.php/IJEECS/article/view/3054/1077 |z Get fulltext |