Automatic Verification of Security of OpenID Connect Protocol with ProVerif-Reference-Cited by-同舟云学术

Automatic Verification of Security of OpenID Connect Protocol with ProVerif

Published:2016-10-22 Issue: Volume: Page:209-220
ISSN:2367-4512
Container-title:Advances on P2P, Parallel, Grid, Cloud and Internet Computing
language:
Short-container-title:

Author:

Lu Jintian,Zhang Jinli,Li Jing,Wan Zhongyu,Meng Bo

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-49109-7_20

Reference18 articles.

1. Ronak R.Patel,Bhavesh O.Enhance OpenID Protocol in identity Management.International Journal of Application or Innovation in Engineering &Management.Vol.2,No.4,Apr. 2013: 248-252

2. Nat S., John B., Michael J.,Breno D M.,Mortimore C.. OpenID Connect Core 1.0, 2014. http://OpenID.net/specs/OpenID-connect-core-1_0.html .

3. Dick Hardt. The OAuth 2.0 authorization framework. October 2012. http://tools.ietf.org/html/rfc6749 .

4. David R.,Brad F. . OpenID Authentication 2.0 - Final, 2007. http://OpenID.net/specs/OpenID-authentication-2_0.html

5. Alireza P S., Joao P S. Authentication, authorization and auditing for ubiquitous computing: a survey and vision. International Journal of Space-Based and Situated Computing.Vol.1 No.1,2011:59-67

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DIFCS: A Secure Cloud Data Sharing Approach Based on Decentralized Information Flow Control;Computers & Security;2022-06

2. Inter‐cloud secure data sharing and its formal verification;Transactions on Emerging Telecommunications Technologies;2021-10-18

3. Verification of Group Key Management of IEEE 802.21 Using ProVerif;IEICE Transactions on Information and Systems;2021-10-01

4. Verification of Group Key Management of IEEE 802.21 using ProVerif;Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography;2020-10-05

5. Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts;Progress in Cryptology – INDOCRYPT 2020;2020