On Tue, Nov 22, 2016 at 11:08 AM, Olivier Levillain < [email protected]> 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 > [email protected] > https://www.ietf.org/mailman/listinfo/tls >
_______________________________________________ TLS mailing list [email protected] https://www.ietf.org/mailman/listinfo/tls
