Skip to content

Commit c713225

Browse files
c-southwestc-southwest
committed
add 2 more hypotheses & update CI test (add one more round)
1 parent 16f5a0e commit c713225

File tree

3 files changed

+453
-2
lines changed
  • .github/workflows
  • experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg

3 files changed

+453
-2
lines changed

‎.github/workflows/ci.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -311,8 +311,8 @@ jobs:
311311

312312
- name: Test openssl-3.5.0 Client (ecdhe_cert_reneg)
313313
run: |
314-
java -jar target/dtls-fuzzer.jar args/openssl/learn_openssl_client_ecdhe_cert_reneg -Dopenssl.version=3.5.0 -roundLimit 7
315-
experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg output/openssl-3.5.0_client_ecdhe_cert_reneg 7
314+
java -jar target/dtls-fuzzer.jar args/openssl/learn_openssl_client_ecdhe_cert_reneg -Dopenssl.version=3.5.0 -roundLimit 8
315+
experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg output/openssl-3.5.0_client_ecdhe_cert_reneg 8
316316
317317
PionDTLS-2-0-9_Server_psk:
318318
if: ${{ !contains(github.event.head_commit.message, 'ci skip') }}

‎experiments/models/regression/clients/rounds/openssl-3.5.0_client_ecdhe_cert_reneg/hyp8.dot

Lines changed: 216 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,216 @@
1+
digraph g {
2+
3+
s0 [shape="circle" label="s0"];
4+
s1 [shape="circle" label="s1"];
5+
s2 [shape="circle" label="s2"];
6+
s3 [shape="circle" label="s3"];
7+
s4 [shape="circle" label="s4"];
8+
s5 [shape="circle" label="s5"];
9+
s6 [shape="circle" label="s6"];
10+
s7 [shape="circle" label="s7"];
11+
s8 [shape="circle" label="s8"];
12+
s9 [shape="circle" label="s9"];
13+
s10 [shape="circle" label="s10"];
14+
s0 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"];
15+
s0 -> s2 [label="ECDH_SERVER_HELLO / TIMEOUT"];
16+
s0 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
17+
s0 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
18+
s0 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
19+
s0 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
20+
s0 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
21+
s0 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
22+
s0 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
23+
s0 -> s1 [label="HELLO_REQUEST / TIMEOUT"];
24+
s0 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
25+
s0 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
26+
s0 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"];
27+
s0 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"];
28+
s0 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
29+
s0 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
30+
s0 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
31+
s0 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
32+
s1 -> s1 [label="HELLO_VERIFY_REQUEST / TIMEOUT"];
33+
s1 -> s1 [label="ECDH_SERVER_HELLO / TIMEOUT"];
34+
s1 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"];
35+
s1 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
36+
s1 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"];
37+
s1 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"];
38+
s1 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
39+
s1 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"];
40+
s1 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
41+
s1 -> s1 [label="HELLO_REQUEST / TIMEOUT"];
42+
s1 -> s1 [label="SERVER_HELLO_DONE / TIMEOUT"];
43+
s1 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
44+
s1 -> s1 [label="FINISHED / TIMEOUT"];
45+
s1 -> s1 [label="APPLICATION / TIMEOUT"];
46+
s1 -> s1 [label="CERTIFICATE / TIMEOUT"];
47+
s1 -> s1 [label="EMPTY_CERTIFICATE / TIMEOUT"];
48+
s1 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
49+
s1 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
50+
s2 -> s0 [label="HELLO_VERIFY_REQUEST / CLIENT_HELLO"];
51+
s2 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"];
52+
s2 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
53+
s2 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
54+
s2 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
55+
s2 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
56+
s2 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
57+
s2 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
58+
s2 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
59+
s2 -> s1 [label="HELLO_REQUEST / TIMEOUT"];
60+
s2 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
61+
s2 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
62+
s2 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"];
63+
s2 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"];
64+
s2 -> s3 [label="CERTIFICATE / TIMEOUT"];
65+
s2 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,DECODE_ERROR)"];
66+
s2 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
67+
s2 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
68+
s3 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
69+
s3 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"];
70+
s3 -> s4 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"];
71+
s3 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
72+
s3 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
73+
s3 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
74+
s3 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
75+
s3 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
76+
s3 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
77+
s3 -> s1 [label="HELLO_REQUEST / TIMEOUT"];
78+
s3 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
79+
s3 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
80+
s3 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"];
81+
s3 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"];
82+
s3 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
83+
s3 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
84+
s3 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
85+
s3 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
86+
s4 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
87+
s4 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"];
88+
s4 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
89+
s4 -> s5 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
90+
s4 -> s5 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"];
91+
s4 -> s5 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"];
92+
s4 -> s5 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
93+
s4 -> s5 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"];
94+
s4 -> s5 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
95+
s4 -> s1 [label="HELLO_REQUEST / TIMEOUT"];
96+
s4 -> s6 [label="SERVER_HELLO_DONE / ECDH_CLIENT_KEY_EXCHANGE|CHANGE_CIPHER_SPEC|FINISHED"];
97+
s4 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
98+
s4 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"];
99+
s4 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"];
100+
s4 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
101+
s4 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
102+
s4 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
103+
s4 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
104+
s5 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
105+
s5 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"];
106+
s5 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
107+
s5 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
108+
s5 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
109+
s5 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
110+
s5 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
111+
s5 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
112+
s5 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
113+
s5 -> s1 [label="HELLO_REQUEST / TIMEOUT"];
114+
s5 -> s6 [label="SERVER_HELLO_DONE / RSA_CERTIFICATE|ECDH_CLIENT_KEY_EXCHANGE|CERTIFICATE_VERIFY|CHANGE_CIPHER_SPEC|FINISHED"];
115+
s5 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
116+
s5 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"];
117+
s5 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"];
118+
s5 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
119+
s5 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
120+
s5 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
121+
s5 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
122+
s6 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
123+
s6 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"];
124+
s6 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
125+
s6 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
126+
s6 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
127+
s6 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
128+
s6 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
129+
s6 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
130+
s6 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
131+
s6 -> s1 [label="HELLO_REQUEST / TIMEOUT"];
132+
s6 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
133+
s6 -> s7 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
134+
s6 -> s1 [label="FINISHED / Alert(FATAL,UNEXPECTED_MESSAGE)"];
135+
s6 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"];
136+
s6 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
137+
s6 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
138+
s6 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
139+
s6 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
140+
s7 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
141+
s7 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"];
142+
s7 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
143+
s7 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
144+
s7 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
145+
s7 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
146+
s7 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
147+
s7 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
148+
s7 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
149+
s7 -> s1 [label="HELLO_REQUEST / TIMEOUT"];
150+
s7 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
151+
s7 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
152+
s7 -> s9 [label="FINISHED / TIMEOUT"];
153+
s7 -> s8 [label="APPLICATION / TIMEOUT"];
154+
s7 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
155+
s7 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
156+
s7 -> s8 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
157+
s7 -> s7 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
158+
s8 -> s1 [label="HELLO_VERIFY_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
159+
s8 -> s1 [label="ECDH_SERVER_HELLO / Alert(FATAL,UNEXPECTED_MESSAGE)"];
160+
s8 -> s1 [label="ECDH_SERVER_KEY_EXCHANGE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
161+
s8 -> s1 [label="RSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
162+
s8 -> s1 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
163+
s8 -> s1 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
164+
s8 -> s1 [label="DSS_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
165+
s8 -> s1 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
166+
s8 -> s1 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / Alert(FATAL,UNEXPECTED_MESSAGE)"];
167+
s8 -> s1 [label="HELLO_REQUEST / TIMEOUT"];
168+
s8 -> s1 [label="SERVER_HELLO_DONE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
169+
s8 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
170+
s8 -> s1 [label="FINISHED / Alert(WARNING,CLOSE_NOTIFY)"];
171+
s8 -> s8 [label="APPLICATION / TIMEOUT"];
172+
s8 -> s1 [label="CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
173+
s8 -> s1 [label="EMPTY_CERTIFICATE / Alert(FATAL,UNEXPECTED_MESSAGE)"];
174+
s8 -> s8 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
175+
s8 -> s8 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
176+
s9 -> s10 [label="HELLO_VERIFY_REQUEST / TIMEOUT"];
177+
s9 -> s10 [label="ECDH_SERVER_HELLO / TIMEOUT"];
178+
s9 -> s10 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"];
179+
s9 -> s10 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
180+
s9 -> s10 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"];
181+
s9 -> s10 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"];
182+
s9 -> s10 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
183+
s9 -> s10 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"];
184+
s9 -> s10 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
185+
s9 -> s0 [label="HELLO_REQUEST / CLIENT_HELLO"];
186+
s9 -> s10 [label="SERVER_HELLO_DONE / TIMEOUT"];
187+
s9 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
188+
s9 -> s9 [label="FINISHED / TIMEOUT"];
189+
s9 -> s9 [label="APPLICATION / TIMEOUT"];
190+
s9 -> s10 [label="CERTIFICATE / TIMEOUT"];
191+
s9 -> s10 [label="EMPTY_CERTIFICATE / TIMEOUT"];
192+
s9 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / Alert(WARNING,CLOSE_NOTIFY)"];
193+
s9 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
194+
s10 -> s10 [label="HELLO_VERIFY_REQUEST / TIMEOUT"];
195+
s10 -> s10 [label="ECDH_SERVER_HELLO / TIMEOUT"];
196+
s10 -> s10 [label="ECDH_SERVER_KEY_EXCHANGE / TIMEOUT"];
197+
s10 -> s10 [label="RSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
198+
s10 -> s10 [label="RSA_FIXED_ECDH_CERTIFICATE_REQUEST / TIMEOUT"];
199+
s10 -> s10 [label="RSA_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"];
200+
s10 -> s10 [label="DSS_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
201+
s10 -> s10 [label="DSS_FIXED_DH_CERTIFICATE_REQUEST / TIMEOUT"];
202+
s10 -> s10 [label="ECDSA_SIGN_CERTIFICATE_REQUEST / TIMEOUT"];
203+
s10 -> s0 [label="HELLO_REQUEST / CLIENT_HELLO"];
204+
s10 -> s10 [label="SERVER_HELLO_DONE / TIMEOUT"];
205+
s10 -> s1 [label="CHANGE_CIPHER_SPEC / TIMEOUT"];
206+
s10 -> s10 [label="FINISHED / TIMEOUT"];
207+
s10 -> s1 [label="APPLICATION / Alert(FATAL,UNEXPECTED_MESSAGE)"];
208+
s10 -> s10 [label="CERTIFICATE / TIMEOUT"];
209+
s10 -> s10 [label="EMPTY_CERTIFICATE / TIMEOUT"];
210+
s10 -> s1 [label="Alert(WARNING,CLOSE_NOTIFY) / TIMEOUT"];
211+
s10 -> s1 [label="Alert(FATAL,UNEXPECTED_MESSAGE) / TIMEOUT"];
212+
213+
__start0 [label="" shape="none" width="0" height="0"];
214+
__start0 -> s0;
215+
216+
}

0 commit comments

Comments
 (0)