| Título: | A Formal Model of Trust Chain based on Multi-level Security Policy |
| Autores: |
Xiangying, Kong; Nanjing University of Aeronautics and Astronautics Yi, Zhuang; Jiangsu Automation Research Institute Xiaoxing, Wang; Jiangsu Automation Research Institute |
| Fecha: | 2013-07-22 |
| Publicador: | TELKOMNIKA: Indonesian journal of electrical engineering |
| Fuente: |
 |
| Tipo: |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
| Tema: | No aplica |
| Descripción: | 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. |
| Idioma: | Inglés |