Formal verification of establishment of chain of trust in trusted computing - Details

Author：

Wang, Y. (Wang, Y..) | Xu, R. (Xu, R..) | Ren, X. (Ren, X..) | Yang, J. (Yang, J..)

Indexed by：

Scopus PKU CSCD

Abstract：

For　formal　verification　for　establishment　of　chain　of　trust,　the　process　algebra　description　of　each　entity＇s　state　transferring　was　given　based　on　the　abstraction　of　the　establishing　process　of　trusted　platform　control　modeule　(TPCM)-based　chain　of　trust.　Formal　verification　was　conducted　by　use　of　axioms　of　process　algebra.　Verification　result　exhibits　that　the　system　has　desired　external　behavior.　©　2016,　Beijing　University　of　Technology.　All　right　reserved.

Keyword：

Chain of trust; Formal verification; Process algebra; Trusted computing; Trusted platform control module (TPCM)

Author Community：

[ 1 ] [Wang, Y.]College of Computer Science, Beijing University of Technology, Beijing, 100124, China
[ 2 ] [Xu, R.]College of Computer Science, Beijing University of Technology, Beijing, 100124, China
[ 3 ] [Ren, X.]College of Computer Science, Beijing University of Technology, Beijing, 100124, China
[ 4 ] [Yang, J.]College of Computer Science, Beijing University of Technology, Beijing, 100124, China

Reprint Author's Address：

Email：

Show more details

Related Keywords：

Source ：

Journal of Beijing University of Technology

ISSN： 0254-0037

Year： 2016

Issue： 3

Volume： 42

Page： 387-392

Cited Count：

WoS CC Cited Count： 0

SCOPUS Cited Count： 2

ESI Highly Cited Papers on the List： 0 Unfold All

WanFang Cited Count：

Chinese Cited Count：

30 Days PV： 5

Affiliated Colleges：

信息科学技术学院本学院/部未明确归属的数据

Get Fulltext

DOI Library Discovery Baidu Scholar Search SCOPUS

Type
Departments

All Years Choose Year From to