On Tue, Nov 22, 2016 at 11:08 AM, Olivier Levillain < olivier.levill...@ssi.gouv.fr> wrote:
> > = Message order = > > I believe the message P.27 section 4 is important, but not > sufficient. As already expressed on the list, a formal automaton > should be provided in the spec. > > I think Ekr said there was some work in progress in this area. Is > this a goal for the final specification? > Yes, I will put some sort of more complete state machine in the final spec (probably in -19) -Ekr > > Olivier Levillain > > _______________________________________________ > TLS mailing list > TLS@ietf.org > https://www.ietf.org/mailman/listinfo/tls >
_______________________________________________ TLS mailing list TLS@ietf.org https://www.ietf.org/mailman/listinfo/tls
