Formal Modelling of Federated Identity

Summary
Formal definitions of decentralization, privacy, security, and anonymity properties will be developed and proven using automatic proof-proving on the federated identity protocol. Results will be validated against open-source code. Depends on D2.2.