%0 Journal Article
%T 基于进程代数的TCG远程证明协议的形式化验证
%A 王  勇  方  娟  任兴田  林  莉
%J -
%D 2013
%X 可信计算组织(Trusted Computing Group..
%K [可信计算
%K 远程证明
%K 协议验证
%K 形式化
%K 进程代数
%K trusted computing
%K remote attestation
%K protocol verification
%K formalization
%K process algebra]
%U http://crad.ict.ac.cn/CN/Y2013/V50/I2/325