public override AccessTokenEntry createAccessTokenEntry(string redirect_uri, Permissions 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 string findISSByClientIDAndAccessToken(string client_id, string UserID, string access_token) { string IdPSessionSecret = Nondet.String(); AccessToken token = new AccessToken(); token.token = access_token; IDTokenAndAccessTokenEntry entry = (IDTokenAndAccessTokenEntry)getEntry(token, client_id, UserID); Contract.Assume(entry.access_token == token); return(IdPSessionSecret); }
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 override AccessTokenEntry createAccessTokenEntry(string redirect_uri, Permissions 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; }