基于进程代数的TCG远程证明协议的形式化验证

Keywords: [可信计算, 远程证明, 协议验证, 形式化, 进程代数, trusted computing, remote attestation, protocol verification, formalization, process algebra]

Full-Text   Cite this paper   Add to My Lib

Abstract:

可信计算组织(Trusted Computing Group..

Full-Text