Re: [TLS] Draft 18 review : Message order

2016-11-23 Thread Olivier Levillain
Hi, > 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. >> >>

Re: [TLS] Draft 18 review : Message order

2016-11-22 Thread Eric Rescorla
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

[TLS] Draft 18 review : Message order

2016-11-22 Thread Olivier Levillain
Hi list, I am sorry for the very late answer concerning draft 18, but we (ANSSI) have several remarks after proof-reading the current specification. We are sorry for the multiple long messages. If the WG is interested by some of our concerns/proposals, we would be glad to propose some PRs. =