Re: Working Group Last Call: The Concealed HTTP Authentication Scheme

Hi Dennis, Jonathan finished his analysis and was able to prove the
properties we cared about.

Jonathan, did that ever get published somewhere that we could refer to from
the draft?

Thanks,
David

On Wed, Jun 12, 2024 at 4:45 AM Dennis Jackson <ietf@dennis-jackson.uk>
wrote:

> I have reviewed the document and don't have any issues or objections.
>
> I believe Jonathan was working to formally verify the design? Has that
> process arrived at an outcome or been paused? If there's a concrete
> outcome, it might be nice to point to it in the document as an
> informative reference.
>
> Best,
> Dennis
>
> On 11/06/2024 20:55, Mark Nottingham wrote:
> > Working Group participants,
> >
> > This e-mail announces Working Group Last Call for revision 07 of the
> > following document:
> > https://datatracker.ietf.org/doc/draft-ietf-httpbis-unprompted-auth/
> >
> > There are no outstanding issues in GitHub, and the editors indicate
> > that they believe it is ready.
> >
> > Please review the document and raise any issues you find (preferably
> > on GitHub, but also acceptable on-list) and indicate whether you
> > support publication (or object to it) in response to this message.
> >
> > Working Group Last Call will end on 27 June 2024.
> >
> > Cheers,
> >
> > --
> > Mark Nottingham https://www.mnot.net/
> >
> >
>
>