2017 4th International Conference on Information Science and Control Engineering (ICISCE 2017)

62 / 2017-04-10 20:47:51

Formal Trust Analysis of TCP Based on TSD

13390,13391,5226,Trust,Cloud Security

Trust assurance of cloud service is a central focus of the application of the cloud computing. We give the common architecture of trusted IaaS Cloud, which is built on trusted computing and virtualization technology, and analyze its characteristic of trust chain based on the TSD, which is as the virtual root of trust for the TCP (trusted cloud platform). To verify the trustworthy, we introduce and extend LS2 (Logic of Secure System) to model the programs loaded in the TCP and reason its trust with the invariants. Result shows that the trustworthy of TCP can be satisfied with some conditions.