Hi All,

For those interested, I've been working on a formal analysis of DCs the
results of which should appear online in the next few days.
I'll post to the list when it's up.

In summary I managed to prove a server only version of DCs secure (i.e.
does not violate any of the properties in Appendix E.1) under the Dolev-Yao
model without resumption, and work on a more general result is ongoing.

Regards,

Jonathan

On Mon, 29 Jun 2020 at 16:59, Joseph Salowey <j...@salowey.net> wrote:

> This is the second working group last call for Delegated Credentials for
> TLS.  The latest draft can be found here:
> https://tools.ietf.org/html/draft-ietf-tls-subcerts-09.  There have been
> 2 revisions since the last review.  Draft 8 contains changes that were not
> committed in time for draft 7 and draft 9 contains revisions from the
> previous WGLC.  Links to the Diffs between the draft 9 and draft 7 can be
> found at the end of this message.   Please focus your review on the changes
> between draft 7 and draft 9.  Please send your comments to the list by July
> 13, 2020.
>
> Thanks,
>
> Sean and Joe
>
> [Inline Diff]
> https://tools.ietf.org/rfcdiff?difftype=--hwdiff&url2=draft-ietf-tls-subcerts-09.txt&url1=draft-ietf-tls-subcerts-07.txt
> [Side-by-side Diff]
> https://tools.ietf.org/rfcdiff?url2=draft-ietf-tls-subcerts-09.txt&url1=draft-ietf-tls-subcerts-07.txt
>
> _______________________________________________
> 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

Reply via email to