-
Notifications
You must be signed in to change notification settings - Fork 0
/
example1.dot
66 lines (64 loc) · 3.6 KB
/
example1.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
digraph g {
__start0 [label="" shape="none"];
s0 [shape="circle" label="0"];
s1 [shape="circle" label="1"];
s2 [shape="circle" label="2"];
s3 [shape="circle" label="3"];
s4 [shape="circle" label="4"];
s5 [shape="circle" label="5"];
s0 -> s1 [label="ClientHelloRSA / HandshakeServerHelloTLSv12HandshakeCertificateHandshakeServerHelloDone"];
s0 -> s1 [label="ClientHelloDHE / HandshakeServerHelloTLSv12HandshakeCertificateHandshakeServerKeyExchangeHandshakeServerHelloDone"];
s0 -> s2 [label="EmptyCertificate / Alert2.10ConnectionClosed"];
s0 -> s2 [label="ClientKeyExchange / Alert2.10ConnectionClosed"];
s0 -> s2 [label="ChangeCipherSpec / Alert2.10ConnectionClosed"];
s0 -> s2 [label="Finished / Alert2.10ConnectionClosed"];
s0 -> s2 [label="ApplicationData / Alert2.10ConnectionClosed"];
s0 -> s2 [label="ApplicationDataEmpty / Alert2.10ConnectionClosed"];
s0 -> s2 [label="Alert10 / Alert2.10ConnectionClosed"];
s1 -> s2 [label="ClientHelloRSA / Alert2.10ConnectionClosed"];
s1 -> s2 [label="ClientHelloDHE / Alert2.10ConnectionClosed"];
s1 -> s2 [label="EmptyCertificate / Alert2.10ConnectionClosed"];
s1 -> s3 [label="ClientKeyExchange / Empty"];
s1 -> s2 [label="ChangeCipherSpec / Alert2.10ConnectionClosed"];
s1 -> s2 [label="Finished / Alert2.10ConnectionClosed"];
s1 -> s2 [label="ApplicationData / Alert2.10ConnectionClosed"];
s1 -> s2 [label="ApplicationDataEmpty / Alert2.10ConnectionClosed"];
s1 -> s2 [label="Alert10 / ConnectionClosed"];
s2 -> s2 [label="ClientHelloRSA / ConnectionClosed"];
s2 -> s2 [label="ClientHelloDHE / ConnectionClosed"];
s2 -> s2 [label="EmptyCertificate / ConnectionClosed"];
s2 -> s2 [label="ClientKeyExchange / ConnectionClosed"];
s2 -> s2 [label="ChangeCipherSpec / ConnectionClosed"];
s2 -> s2 [label="Finished / ConnectionClosed"];
s2 -> s2 [label="ApplicationData / ConnectionClosed"];
s2 -> s2 [label="ApplicationDataEmpty / ConnectionClosed"];
s2 -> s2 [label="Alert10 / ConnectionClosed"];
s3 -> s2 [label="ClientHelloRSA / Alert2.10ConnectionClosed"];
s3 -> s2 [label="ClientHelloDHE / Alert2.10ConnectionClosed"];
s3 -> s2 [label="EmptyCertificate / Alert2.10ConnectionClosed"];
s3 -> s2 [label="ClientKeyExchange / Alert2.10ConnectionClosed"];
s3 -> s4 [label="ChangeCipherSpec / Empty"];
s3 -> s2 [label="Finished / Alert2.10ConnectionClosed"];
s3 -> s2 [label="ApplicationData / Alert2.10ConnectionClosed"];
s3 -> s2 [label="ApplicationDataEmpty / Alert2.10ConnectionClosed"];
s3 -> s2 [label="Alert10 / ConnectionClosed"];
s4 -> s2 [label="ClientHelloRSA / Alert2.10ConnectionClosed"];
s4 -> s2 [label="ClientHelloDHE / Alert2.10ConnectionClosed"];
s4 -> s2 [label="EmptyCertificate / Alert2.10ConnectionClosed"];
s4 -> s2 [label="ClientKeyExchange / Alert2.10ConnectionClosed"];
s4 -> s2 [label="ChangeCipherSpec / Alert2.10ConnectionClosed"];
s4 -> s5 [label="Finished / ChangeCipherSpecHandshakeFinished"];
s4 -> s2 [label="ApplicationData / Alert2.10ConnectionClosed"];
s4 -> s2 [label="ApplicationDataEmpty / Alert2.10ConnectionClosed"];
s4 -> s2 [label="Alert10 / Alert2.10ConnectionClosed"];
s5 -> s2 [label="ClientHelloRSA / Alert2.40ConnectionClosed"];
s5 -> s2 [label="ClientHelloDHE / Alert2.40ConnectionClosed"];
s5 -> s2 [label="EmptyCertificate / Alert2.10ConnectionClosed"];
s5 -> s2 [label="ClientKeyExchange / Alert2.10ConnectionClosed"];
s5 -> s2 [label="ChangeCipherSpec / Alert2.10ConnectionClosed"];
s5 -> s2 [label="Finished / Alert2.10ConnectionClosed"];
s5 -> s2 [label="ApplicationData / ApplicationDataConnectionClosed"];
s5 -> s5 [label="ApplicationDataEmpty / Empty"];
s5 -> s2 [label="Alert10 / ConnectionClosed"];
__start0 -> s0;
}