@article{何旭东_1347, author = {[何旭东, 鲁金钿, 孟博, 尧利利]}, title = {改进的OpenID Connect协议及其安全性分析}, publisher = {《计算机应用》唯一官方网站}, year = {2017}, journal = {计算机应用}, volume = {37}, number = {5}, eid = {1347}, pages = {1347-1352}, keywords = {非对称加密;数字签名;认证性;符号模型;形式化方法;ProVerif}, doi = http://www.joca.cn/CN/10.11772/j.issn.1001-9081.2017.05.1347 }