https://123dok.org/document/zwvr97dl-formal-analysis-facebook-connect-single-sign-authentication-protocol.html