| Título: | A Dynamic Non-interference Trust Chain Model Based on Security Process Algebra |
| Autores: |
Wang, Xiaoxing; Jiangsu Automation Research Institute, Lianyungang, Jiangsu, China Kong, Xiangying; Jiangsu Automation Research Institute, Lianyungang, Jiangsu, China Chen, Xuebing; Jiangsu Automation Research Institute, Lianyungang, Jiangsu, China |
| Fecha: | 2013-07-22 |
| Publicador: | TELKOMNIKA: Indonesian journal of electrical engineering |
| Fuente: |
 |
| Tipo: |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
| Tema: |
Technology;Computer Science;Computer Security Trusted Computing; Trust Chain; Security Process Algebra; Non-interference |
| Descripción: | 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. |
| Idioma: | Inglés |