public IdTokenBody SVX_MakeIdTokenBody(IdTokenRequest req, IdPAuthenticationEntry idpConc) { return(new IdTokenBody { rpPrincipal = req.rpPrincipal, username = idpConc.googleUsername }); }
public string LoginStart(Principal client) { var req = new IdTokenRequest { rpPrincipal = SVX_Principal, state = stateGenerator.Generate( new StateParams { client = client, idpPrincipal = googlePrincipal }, SVX_Principal) }; idTokenRequestStructure.Export(req, client, googlePrincipal); return(JsonConvert.SerializeObject(req)); }
public IdTokenResponse SVX_MakeIdTokenResponse(IdTokenRequest req, IdPAuthenticationEntry idpConc) { // In TokenEndpoint, we requested an IdPAuthenticationEntry for // req.SVX_sender, but SVX doesn't know that, so we have to do a // concrete check. VProgram_API.Assert(req.SVX_sender == idpConc.authenticatedClient); // Put this in a separate SVX method so "body" gets an active SymT. var body = SVX_Ops.Call(SVX_MakeIdTokenBody, req, idpConc); return(new IdTokenResponse { idToken = idTokenGenerator.Generate(body, SVX_Principal), // sign the token state = req.state }); }