static public void BadPersonCannotSignInAsGoodPerson(RP.AuthenticationConclusion conclusion)
{
ID_Claim ID_claim;
ID_claim = AS.IdentityRecords.getEntry(
SignInIdP_Req.IdPSessionSecret,
RP.Realm);
Contract.Assert(ID_claim.Redir_dest == RP.Domain && ID_claim.UserID == conclusion.SessionUID);
}
public override RP.AuthenticationConclusion pre_AuthDone(RP.AuthenticationConclusion req)
{
return req;
}
