Towards a Methodology for Formally Analyzing Federated Identity Management Systems. - Katerina Ksystra; Maria Dimarogkona; Nikolaos Triantafyllou; Petros S. Stefaneas; Petros Kavassalis (ISoLA (4), 2022)