Decentralised identity federations using blockchain

被引:0
作者
Shuhan, Mirza Kamrul Bashar [1 ]
Hasnayeen, Syed Md. [1 ]
Das, Tanmoy Krishna [1 ]
Sakib, Md. Nazmus [2 ]
Ferdous, Md Sadek [3 ,4 ]
机构
[1] Shahjalal Univ Sci & Technol, Sylhet, Bangladesh
[2] Univ Texas Dallas, Dallas, TX USA
[3] BRAC Univ, Dhaka, Bangladesh
[4] Imperial Coll London, London, England
关键词
Identify federation; Federated identities; SAML; Decentralised identity federation; Blockchain; ProVerif;
D O I
10.1007/s10207-024-00864-6
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Federated Identity Management offers numerous economic benefits and convenience to Service Providers and users alike. In such federations, the Identity Provider (IdP) is the solitary entity responsible for managing user credentials and generating assertions for the users, who are requesting access to a service provider's resource. This makes the IdP centralised and exhibits a single point of failure for the federation, making the federation prone to catastrophic damages. The paper presents our effort in designing and implementing a decentralised system in establishing an identity federation. In its attempt to decentralise the IdP in the federation, the proposed system relies on blockchain technology, thereby, mitigating the single point of failure shortcoming of existing identity federations and is designed using a set of requirements. In this article, we explore different aspects of designing and developing the system, present its protocol flow, analyse its performance, and evaluate its security using ProVerif, a state-of-the-art formal protocol verification tool.
引用
收藏
页码:2759 / 2782
页数:24
相关论文
共 50 条
[1]  
Alom I., 2021, 2021 IEEE INT C BLOC, P1
[2]   Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains [J].
Androulaki, Elli ;
Barger, Artem ;
Bortnikov, Vita ;
Cachin, Christian ;
Christidis, Konstantinos ;
De Caro, Angelo ;
Enyeart, David ;
Ferris, Christopher ;
Laventman, Gennady ;
Manevich, Yacov ;
Muralidharan, Srinivasan ;
Murthy, Chet ;
Binh Nguyen ;
Sethi, Manish ;
Singh, Gari ;
Smith, Keith ;
Sorniotti, Alessandro ;
Stathakopoulou, Chrysoula ;
Vukolic, Marko ;
Cocco, Sharon Weed ;
Yellick, Jason .
EUROSYS '18: PROCEEDINGS OF THE THIRTEENTH EUROSYS CONFERENCE, 2018,
[3]  
[Anonymous], 2023, Hyperledger Fabric Hyperledger Foundation,
[4]  
[Anonymous], 2022, ETHEREUM NEXT GENERA
[5]  
[Anonymous], 2023, SIMPLESAMLPHP SECURI
[6]  
[Anonymous], 2022, APACHE APACHE KAFKA
[7]  
[Anonymous], 2023, SIMPLESAMLPHP SIMPLE
[8]   BONIK: A Blockchain Empowered Chatbot for Financial Transactions [J].
Bhuiyan, Md Saiful Islam ;
Razzak, Abdur ;
Ferdous, Md Sadek ;
Chowdhury, Mohammad Jabed M. ;
Hoque, Mohammad A. ;
Tarkoma, Sasu .
2020 IEEE 19TH INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2020), 2020, :1080-1089
[9]   Automatic Verification of Security Protocols in the Symbolic Model: The Verifier Proverif [J].
Blanchet, Bruno .
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8604 :54-87
[10]   Automated reasoning for equivalences in the applied pi calculus with barriers [J].
Blanchet, Bruno ;
Smyth, Ben .
JOURNAL OF COMPUTER SECURITY, 2018, 26 (03) :367-422