Automatic Verification of Security Properties of OAuth 2.0 Protocol with Cryptoverif in Computational Model
Automatic Verification of Security Properties of OAuth 2.0 Protocol with Cryptoverif in Computational Model
复制标题
计算模型中使用Cryptoverif自动验证OAuth 2.0协议的安全属性
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Bo Meng
中科院分区：
文献类型：
--
作者：
Xing;L. Niu;Bo Meng
