Skip to content

GitLab

Commit cf2f860e authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

Updated DropBear model. (removed quotes)

parent 18e5f126
Hide whitespace changes
Inline Side-by-side
models/DropBear.dot
View file @ cf2f860e
......@@ -116,7 +116,7 @@ s5 -> s5[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF
s6 [label="s6"];
s6 -> s6[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>UA_FAILURE</td></tr></table>>]
s6 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_CONN</td></tr></table>>]
s6 -> s6[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s6 -> s6[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s6 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s6 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_CONN</td></tr></table>>]
s6 -> s6[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
......@@ -144,8 +144,8 @@ s7 -> s7[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF
s8 [label="s8"];
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_RESP</td></tr></table>>]
s8 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_CONN</td></tr></table>>]
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s8 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_CONN</td></tr></table>>]
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
s8 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_OPEN_SUCCESS</td></tr></table>>]
......@@ -200,8 +200,8 @@ s11 -> s11[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_E
s12 [label="s12"];
s12 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_RESP</td></tr></table>>]
s12 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_CONN</td></tr></table>>]
s12 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s12 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s12 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s12 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s12 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_CONN</td></tr></table>>]
s12 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_SUCCESS</td></tr></table>>]
s12 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
......@@ -228,8 +228,8 @@ s13 -> s13[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_E
s14 [label="s14"];
s14 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_RESP</td></tr></table>>]
s14 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_CONN</td></tr></table>>]
s14 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s14 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s14 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s14 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s14 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_CONN</td></tr></table>>]
s14 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_SUCCESS</td></tr></table>>]
s14 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
......@@ -270,8 +270,8 @@ s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EO
s17 [label="s17"];
s17 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_RESP</td></tr></table>>]
s17 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_CONN</td></tr></table>>]
s17 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s17 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s17 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s17 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s17 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_CONN</td></tr></table>>]
s17 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s17 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
......@@ -298,8 +298,8 @@ s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EO
s19 [label="s19"];
s19 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_RESP</td></tr></table>>]
s19 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_CONN</td></tr></table>>]
s19 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s19 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>"SR_ACCEPT</td></tr></table>>]
s19 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s19 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>SR_ACCEPT</td></tr></table>>]
s19 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_CONN</td></tr></table>>]
s19 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s19 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment