public string findISSByClientIDAndAccessToken(string client_id, string access_token) { string IdPSessinSecret = Nondet.String(); IDTokenAndAccessTokenEntry entry = (IDTokenAndAccessTokenEntry)getEntry(IdPSessinSecret, client_id); Contract.Assume(entry.access_token == access_token); return(IdPSessinSecret); }
internal override AccessTokenEntry createAccessTokenEntry(string redirect_uri, HashSet <string> scope, string state) { IDTokenAndAccessTokenEntry entry = new IDTokenAndAccessTokenEntry(); entry.redirect_uri = redirect_uri; entry.scope = scope; entry.state = state; entry.id_token = Nondet.JsonWebToken(); return(entry); }
public bool setEntry(string IdPSessionSecret, string client_id, _ID_Claim Entry) { IDTokenAndAccessTokenEntry IDTokenAndAccessTokenEntry = (IDTokenAndAccessTokenEntry)Entry; if (IDTokenAndAccessTokenEntry == null) { return(false); } Dictionary[IdPSessionSecret] = new Dictionary <string, IDTokenAndAccessTokenEntry>(); Dictionary[IdPSessionSecret][client_id] = IDTokenAndAccessTokenEntry; return(true); }