Пример #1
0
        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);
        }
Пример #2
0
            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);
            }
Пример #3
0
        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;
        }
Пример #4
0
        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;
        }