Design and formal analysis of TCM key migration protocols

DOI10.13328/J.CNKI.JOS.004719MaRDI QIDQ2993260zbMATH OpenFDO

Authors Qianying Zhang, Dengguo Feng, Shijun Zhao

Publication date 10 August 2016

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004719

zbMATH Keywords

formal analysisprotocol designtrusted computingkey migrationtrusted cryptography module

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Network protocols (68M12)

Recommendations

• An improved cryptology mechanism of trusted computing platform
• On key agreement protocols based on tamper-proof hardware
• scientific article; zbMATH DE number 1500496
• scientific article; zbMATH DE number 1088924
• The mechanism about key and credential on trusted computing platform and the application study

Cited in

(2)

• An improved cryptology mechanism of trusted computing platform
• A new AuthData management scheme

This page was built for publication: Design and formal analysis of TCM key migration protocols

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