Towards a Methodology for Formally Analyzing Federated Identity Management Systems
Autor: | Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros Stefaneas, Petros Kavassalis |
---|---|
Rok vydání: | 2022 |
Zdroj: | Lecture Notes in Computer Science ISBN: 9783031197611 |
DOI: | 10.1007/978-3-031-19762-8_28 |
Databáze: | OpenAIRE |
Externí odkaz: |