Towards a Methodology for Formally Analyzing Federated Identity Management Systems.

Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis

Browse the full ISoLA paper archive.