A Framework for Formal Analysis of Privacy on SSO Protocols.

Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong

Browse the full SecureComm paper archive.