TPM; Trusted Computing; formal methods; computational model; authorization;
机译:计算模型中的概率多项式演算可否认身份验证协议的计算合理的机械化证明
机译:计算模型中带概率多项式演算的可否认身份验证协议的计算合理的机械化证明
机译:在计算模型中使用Cryptoverif自动验证OAuth 2.0协议的安全属性
机译:计算模型中TPM 2.0授权协议自动证明
机译:部分指定的协议:寻求真实密码协议的证明。
机译:Internet成瘾生物信息学(IABio)数据库的OAuth 2.0 Web授权协议
机译:安全可靠的自动计算证明
机译:使用Tpm2.0进行连续防篡改记录。