Formal verification of establishment of chain of trust in trusted computing

MaRDI QIDQ2994355zbMATH OpenFDO

Authors Yong Wang, RongQiang Xu, Xingtian Ren, Jianhong Yang

Publication date 10 August 2016

zbMATH Keywords

chain of trustformal verificationprocess algebratrusted computing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Analyzing the Chain of Trust Model Based on Entity Dependence
• Automated Verification of Dynamic Root of Trust Protocols
• Modeling trusted computing
• A potential approach of internet worm propagation based on P2P
• Trust Management

Cited in

(4)

• Towards an Integrated Formal Analysis for Security and Trust
• A Formal Derivation of Composite Trust
• A potential approach of internet worm propagation based on P2P
• Analyzing the Chain of Trust Model Based on Entity Dependence

This page was built for publication: Formal verification of establishment of chain of trust in trusted computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2994355)