diff options
Diffstat (limited to 'doc/msc/rvi_protocol_double_connect2.msc')
-rw-r--r-- | doc/msc/rvi_protocol_double_connect2.msc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/msc/rvi_protocol_double_connect2.msc b/doc/msc/rvi_protocol_double_connect2.msc new file mode 100644 index 0000000..0240df5 --- /dev/null +++ b/doc/msc/rvi_protocol_double_connect2.msc @@ -0,0 +1,10 @@ +msc { + width="400"; + "Client", "Server"; + "Server" -> "Client" [ label = "Connect" ]; + "Server" <-> "Client" [ label = "TLS Upgrade" ]; + "Client" <- "Server" [ label = "authorize(...)" ]; + "Client" -> "Server" [ label = "authorize(...)" ]; + "Client" abox "Server" [ label = "Race Condition" ] ; +} + |