Modeling trusted computing

DOI10.1007/BF02831808zbMath1119.68080OpenAlexW1497129186MaRDI QIDQ3443202

Shu-Yi Chen, Hong Zhao, Yingyou Wen

Publication date: 1 June 2007

Published in: Wuhan University Journal of Natural Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02831808

zbMATH Keywords

predicate logicroot of trusttrusted computing group (TCG)trusted platform module (TPM)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication: Modeling trusted computing