Property-based remote attestation in open network environment

DOI10.3724/SP.J.1087.2008.00077MaRDI QIDQ3185380zbMATH OpenFDO

Authors Li Li, Guosun Zeng, Bo Chen

Publication date 26 October 2009

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1087.2008.00077

zbMATH Keywords

logic security languagepropertyremote attestationtrusted computing

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Property-Based Attestation without a Trusted Third Party
• Multi-component property based remote attestation
• Foundations of Software Science and Computation Structures
• Remote attestation on legacy operating systems with trusted platform modules
• Attestation waves: platform trust via remote power analysis

Cited in

(5)

• Remote attestation on legacy operating systems with trusted platform modules
• Multi-component property based remote attestation
• A behavior-based remote trust attestation model
• Property-Based Attestation without a Trusted Third Party
• Foundations of Software Science and Computation Structures

This page was built for publication: Property-based remote attestation in open network environment

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