tree 1667a4689e7d0c4b54439aab49bcf781bd77d80d
parent bba5d7fdcd684120a5a0946ca17faed0637104fb
author Ankur <ataly@google.com> 1446848297 -0800
committer Ankur <ataly@google.com> 1446848297 -0800

"docs": Authentication protocol proof -- code correspondence

This CL updates the proof of our mutual authentication protocol
so that it corresponds to the Golang code in
https://vanadium.googlesource.com/release.go.x.ref/+/master/runtime/internal/flow/conn/auth.go

In particular, the protocol formalization in the proof is structured
similar to the code with two key helper functions "setup" and
"readRemoteAuth". Furthermore, following the convention in the code,
all occurrences of the words "client" and "server" are replaced with
"dialer" and "acceptor" respectively.

Change-Id: I40e61b022c3cd8d06abd8a1f9b2b8437298ec7d9