Skip to content

Commit 898e18b

Browse files
c-southwestc-southwest
committed
add DTLS 1.2 server cert req / nreq arg files
1 parent ee77f54 commit 898e18b

File tree

6 files changed

+121
-0
lines changed

6 files changed

+121
-0
lines changed

‎args/wolfssl/learn_wolfssl_server_x_cert_nreq

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
state-fuzzer-server
2+
3+
# SUT config
4+
-connect
5+
localhost:${sul.port}
6+
-startWait
7+
200
8+
-responseWait
9+
200
10+
-protocol
11+
DTLS12
12+
-cmd
13+
${fuzzer.dir}/suts/wolfssl-${wolfssl.version}/examples/server/server -i -x -p ${sul.port} -u -l TLS_DHE_RSA_WITH_AES_128_GCM_SHA256 -d -c ${fuzzer.dir}/${keystore}/rsa2048_cert.pem -k ${fuzzer.dir}/${keystore}/rsa2048_key.pem -A ${fuzzer.dir}/${keystore}/rsa2048_cert.pem
14+
-processDir
15+
${fuzzer.dir}/suts/wolfssl-${wolfssl.version}/
16+
17+
# learning config
18+
-alphabet
19+
${alphabets.servers}/x_cert_nreq.xml
20+
-randLength
21+
10
22+
-equivalenceQueryBound
23+
20000
24+
-output
25+
output/wolfssl-${wolfssl.version}_server_x_cert_nreq
26+
-equivalenceAlgorithms
27+
RANDOM_WP_METHOD,WP_METHOD
28+
-depth
29+
1
30+
-ceReruns
31+
3

‎args/wolfssl/learn_wolfssl_server_x_cert_req

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
state-fuzzer-server
2+
3+
# SUT config
4+
-connect
5+
localhost:${sul.port}
6+
-startWait
7+
200
8+
-responseWait
9+
200
10+
-protocol
11+
DTLS12
12+
-cmd
13+
${fuzzer.dir}/suts/wolfssl-${wolfssl.version}/examples/server/server -i -x -p ${sul.port} -u -l TLS_DHE_RSA_WITH_AES_128_GCM_SHA256 -c ${fuzzer.dir}/${keystore}/rsa2048_cert.pem -k ${fuzzer.dir}/${keystore}/rsa2048_key.pem -A ${fuzzer.dir}/${keystore}/rsa2048_cert.pem
14+
-processDir
15+
${fuzzer.dir}/suts/wolfssl-${wolfssl.version}/
16+
17+
# learning config
18+
-alphabet
19+
${alphabets.servers}/x_cert_req.xml
20+
-randLength
21+
10
22+
-equivalenceQueryBound
23+
20000
24+
-output
25+
output/wolfssl-${wolfssl.version}_server_x_cert_req
26+
-equivalenceAlgorithms
27+
RANDOM_WP_METHOD,WP_METHOD
28+
-depth
29+
1
30+
-ceReruns
31+
3

‎examples/alphabets/servers/x_cert_nreq.xml

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
<!-- DTLS alphabet comprising the messages necessary to perform RSA handshakes.
2+
client authentication.-->
3+
<alphabet>
4+
<ClientHelloInput suite="TLS_DHE_RSA_WITH_AES_128_GCM_SHA256" name="RSA_CLIENT_HELLO"/>
5+
<ClientKeyExchangeInput name="DH_CLIENT_KEY_EXCHANGE" algorithm="DH"/>
6+
<ChangeCipherSpecInput/>
7+
<FinishedInput name="FINISHED"/>
8+
<GenericTlsInput name="APPLICATION">
9+
<Application>
10+
<data>
11+
<byteArrayExplicitValueModification>
12+
<!--HEX(This is a hello message!)-->
13+
<explicitValue>0x5468697320697320612068656c6c6f206d65737361676521</explicitValue>
14+
</byteArrayExplicitValueModification>
15+
</data>
16+
</Application>
17+
</GenericTlsInput>
18+
<AlertInput name="Alert(WARNING,CLOSE_NOTIFY)" level="WARNING" description="CLOSE_NOTIFY"/>
19+
<AlertInput name="Alert(FATAL,UNEXPECTED_MESSAGE)" level="FATAL" description="UNEXPECTED_MESSAGE"/>
20+
</alphabet>

‎examples/alphabets/servers/x_cert_req.xml

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
<!-- DTLS alphabet comprising the messages necessary to perform RSA handshakes.
2+
client authentication.-->
3+
<alphabet>
4+
<ClientHelloInput suite="TLS_DHE_RSA_WITH_AES_128_GCM_SHA256" name="RSA_CLIENT_HELLO"/>
5+
<ClientKeyExchangeInput name="DH_CLIENT_KEY_EXCHANGE" algorithm="DH"/>
6+
<ChangeCipherSpecInput/>
7+
<FinishedInput name="FINISHED"/>
8+
<CertificateInput name="CERTIFICATE"/>
9+
<CertificateInput name="EMPTY_CERTIFICATE" empty ="true"/>
10+
<GenericTlsInput name="CERTIFICATE_VERIFY">
11+
<CertificateVerify/>
12+
</GenericTlsInput>
13+
<GenericTlsInput name="APPLICATION">
14+
<Application>
15+
<data>
16+
<byteArrayExplicitValueModification>
17+
<!--HEX(This is a hello message!)-->
18+
<explicitValue>0x5468697320697320612068656c6c6f206d65737361676521</explicitValue>
19+
</byteArrayExplicitValueModification>
20+
</data>
21+
</Application>
22+
</GenericTlsInput>
23+
<AlertInput name="Alert(WARNING,CLOSE_NOTIFY)" level="WARNING" description="CLOSE_NOTIFY"/>
24+
<AlertInput name="Alert(FATAL,UNEXPECTED_MESSAGE)" level="FATAL" description="UNEXPECTED_MESSAGE"/>
25+
</alphabet>

‎examples/tests/servers/x_cert_nreq

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
RSA_CLIENT_HELLO
2+
RSA_CLIENT_HELLO
3+
DH_CLIENT_KEY_EXCHANGE
4+
CHANGE_CIPHER_SPEC
5+
FINISHED
6+
APPLICATION

‎examples/tests/servers/x_cert_req

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
RSA_CLIENT_HELLO
2+
RSA_CLIENT_HELLO
3+
CERTIFICATE
4+
DH_CLIENT_KEY_EXCHANGE
5+
CERTIFICATE_VERIFY
6+
CHANGE_CIPHER_SPEC
7+
FINISHED
8+
APPLICATION

0 commit comments

Comments
 (0)