DropBear.dot 48.6 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
digraph G {
label=""
s0
s1
s2
s3
s4
s5
s6
s7
s8
s9
s10
s11
s12
s13
s14
s15
s16
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
s17
s18
s19
s20
s21
s22
s23
s24
s25
s26
s27
s28
s0 [label="s0"];
s0 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>KEXINIT</td></tr></table>>]
s0 -> s3[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>KEXINIT_UNIMPL</td></tr></table>>]
s0 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>KEXINIT</td></tr></table>>]
s0 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>KEXINIT</td></tr></table>>]
s0 -> s3[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>KEXINIT_UNIMPL</td></tr></table>>]
38
s0 -> s0[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
39
s0 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>KEXINIT</td></tr></table>>]
40
s0 -> s0[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
41
s0 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>KEXINIT</td></tr></table>>]
42
43
44
45
46
47
48
s0 -> s4[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>KEXINIT</td></tr></table>>]
s0 -> s0[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
s0 -> s3[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>KEXINIT</td></tr></table>>]
s0 -> s0[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
s1 [label="s1"];
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_CONN</td></tr></table>>]
49
50
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
51
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
52
53
54
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
s1 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
55
56
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
57
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
58
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
59
s1 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
60
61
62
s2 [label="s2"];
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_CONN</td></tr></table>>]
63
64
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
65
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
66
67
68
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
69
70
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
71
s2 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
72
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
73
s2 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
74
s3 [label="s3"];
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
75
76
77
78
s3 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s3 -> s5[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>KEX31_NEWKEYS</td></tr></table>>]
s3 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s3 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
79
s3 -> s3[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
80
s3 -> s3[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
81
s3 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
82
s3 -> s3[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
83
84
s3 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s3 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
85
s3 -> s3[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
86
s3 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
87
88
s3 -> s3[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
s4 [label="s4"];
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
89
s4 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
90
s4 -> s3[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_RESP</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
91
92
s4 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s4 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
93
s4 -> s4[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
94
s4 -> s4[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
95
s4 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
96
s4 -> s4[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
97
98
s4 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s4 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
99
s4 -> s4[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
100
s4 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
101
102
s4 -> s4[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
s5 [label="s5"];
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
103
s5 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
104
s5 -> s5[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>UNIMPL</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
105
106
s5 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s5 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
107
108
s5 -> s6[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_RESP</td></tr></table>>]
s5 -> s5[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
109
s5 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
110
s5 -> s5[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
111
112
s5 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s5 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
113
s5 -> s5[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
114
s5 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
115
116
117
s5 -> s5[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
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>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
118
119
120
121
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 -> 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>>]
122
s6 -> s6[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
123
s6 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
124
s6 -> s6[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
125
126
s6 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>UA_SUCCESS</td></tr></table>>]
s6 -> s9[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>KEXINIT</td></tr></table>>]
127
s6 -> s6[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
128
s6 -> s7[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>KEXINIT</td></tr></table>>]
129
130
s6 -> s6[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
s7 [label="s7"];
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
131
132
133
134
135
s7 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s7 -> s5[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>KEX31_NEWKEYS</td></tr></table>>]
s7 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s7 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s7 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
136
s7 -> s7[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
137
s7 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
138
s7 -> s7[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
139
140
s7 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s7 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
141
s7 -> s7[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
142
s7 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
143
144
s7 -> s7[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
s8 [label="s8"];
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
145
146
147
148
149
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 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_CONN</td></tr></table>>]
150
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
151
s8 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_OPEN_SUCCESS</td></tr></table>>]
152
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
153
154
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_RESP</td></tr></table>>]
s8 -> s11[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>KEXINIT</td></tr></table>>]
155
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
156
s8 -> s10[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>KEXINIT</td></tr></table>>]
157
158
s8 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
s9 [label="s9"];
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
159
160
161
162
163
s9 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s9 -> s7[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_RESP</td></tr></table>>]
s9 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s9 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s9 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
164
s9 -> s9[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
165
s9 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
166
s9 -> s9[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
167
168
s9 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s9 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
169
s9 -> s9[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
170
s9 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
171
172
s9 -> s9[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
s10 [label="s10"];
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
173
174
175
176
177
178
179
180
181
182
183
184
185
s10 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s10 -> s13[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>KEX31_NEWKEYS</td></tr></table>>]
s10 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s10 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s10 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
s10 -> s10[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
s10 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s10 -> s10[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
s10 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s10 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s10 -> s10[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
s10 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s10 -> s10[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
186
187
s11 [label="s11"];
s11 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
188
s11 -> s10[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_RESP</td></tr></table>>]
189
190
191
s11 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s11 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s11 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
192
193
194
s11 -> s11[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
s11 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s11 -> s11[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
195
196
s11 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s11 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
197
s11 -> s11[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
198
s11 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
199
s11 -> s11[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
200
201
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>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
202
203
204
205
206
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 -> 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>>]
207
s12 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
208
s12 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_RESP</td></tr></table>>]
209
s12 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_RESP</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
210
211
212
213
s12 -> s16[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>KEXINIT</td></tr></table>>]
s12 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_EOF</td></tr></table>>]
s12 -> s15[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>KEXINIT</td></tr></table>>]
s12 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_EOF</td></tr></table>>]
214
215
s13 [label="s13"];
s13 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
216
s13 -> s13[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>UNIMPL</td></tr></table>>]
217
218
s13 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s13 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
219
220
221
222
s13 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_RESP</td></tr></table>>]
s13 -> s13[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>CH_NONE</td></tr></table>>]
s13 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s13 -> s13[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>CH_NONE</td></tr></table>>]
223
224
s13 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s13 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
225
s13 -> s13[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_NONE</td></tr></table>>]
226
s13 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
227
s13 -> s13[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_NONE</td></tr></table>>]
228
229
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>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
230
231
232
233
234
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 -> 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>>]
235
s14 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
236
s14 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
237
s14 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_RESP</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
238
239
240
241
s14 -> s20[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>KEXINIT</td></tr></table>>]
s14 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_RESP</td></tr></table>>]
s14 -> s18[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>KEXINIT</td></tr></table>>]
s14 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_RESP</td></tr></table>>]
242
s15 [label="s15"];
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
243
244
245
246
247
248
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s15 -> s21[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>KEX31_NEWKEYS</td></tr></table>>]
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
249
s15 -> s15[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
250
251
252
253
254
255
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s15 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s15 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
256
s16 [label="s16"];
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
257
258
259
260
261
262
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s16 -> s15[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_RESP</td></tr></table>>]
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
263
s16 -> s16[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
Paul Fiterau Brostean's avatar
Paul Fiterau Brostean committed
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s16 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s16 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
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 -> 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>>]
s17 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_RESP</td></tr></table>>]
s17 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_RESP</td></tr></table>>]
s17 -> s22[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>KEXINIT</td></tr></table>>]
s17 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>CH_EOF</td></tr></table>>]
s17 -> s23[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>KEXINIT</td></tr></table>>]
s17 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>CH_EOF</td></tr></table>>]
s18 [label="s18"];
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s18 -> s24[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>KEX31_NEWKEYS</td></tr></table>>]
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s18 -> s18[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s18 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s18 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
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 -> 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>>]
s19 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s19 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_RESP</td></tr></table>>]
s19 -> s25[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>KEXINIT</td></tr></table>>]
s19 -> s8[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_RESP</td></tr></table>>]
s19 -> s26[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>KEXINIT</td></tr></table>>]
s19 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_RESP</td></tr></table>>]
s20 [label="s20"];
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s20 -> s18[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_RESP</td></tr></table>>]
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s20 -> s20[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s20 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s20 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 [label="s21"];
s21 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 -> s21[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>UNIMPL</td></tr></table>>]
s21 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 -> s12[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_RESP</td></tr></table>>]
s21 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 -> s21[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s21 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s21 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 [label="s22"];
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 -> s23[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_RESP</td></tr></table>>]
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 -> s22[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s22 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 [label="s23"];
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 -> s27[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>KEX31_NEWKEYS</td></tr></table>>]
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 -> s23[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s23 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 [label="s24"];
s24 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 -> s24[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>UNIMPL</td></tr></table>>]
s24 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 -> s14[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_RESP</td></tr></table>>]
s24 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 -> s24[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s24 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s24 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 [label="s25"];
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 -> s26[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>NO_RESP</td></tr></table>>]
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 -> s25[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s25 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 [label="s26"];
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 -> s28[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>KEX31_NEWKEYS</td></tr></table>>]
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>UNIMPL</td></tr></table>>]
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 -> s26[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s26 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 [label="s27"];
s27 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 -> s27[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>UNIMPL</td></tr></table>>]
s27 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 -> s17[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_RESP</td></tr></table>>]
s27 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 -> s27[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s27 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s27 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 [label="s28"];
s28 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_NOK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 -> s28[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEX30</td><td>/</td><td>UNIMPL</td></tr></table>>]
s28 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_AUTH</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>SR_CONN</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 -> s19[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>NEWKEYS</td><td>/</td><td>NO_RESP</td></tr></table>>]
s28 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_REQUEST_PTY</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 -> s28[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_OPEN</td><td>/</td><td>CH_MAX</td></tr></table>>]
s28 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_DATA</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>UA_PK_OK</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT_PROCEED</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 -> s1[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_CLOSE</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>KEXINIT</td><td>/</td><td>NO_CONN</td></tr></table>>]
s28 -> s2[label=<<table border="0" cellpadding="1" cellspacing="0"><tr><td>CH_EOF</td><td>/</td><td>NO_CONN</td></tr></table>>]
438
}