make client and server random available on script-level.

Patch by ewust

Addresses BIT-950
This commit is contained in:
Bernhard Amann 2013-09-11 12:39:23 -07:00
parent 7c1dffa66f
commit c40a97156a
6 changed files with 37 additions and 13 deletions

View file

@ -346,7 +346,7 @@ type HelloRequest(rec: SSLRecord) = empty &let {
type ClientHello(rec: SSLRecord) = record {
client_version : uint16;
gmt_unix_time : uint32;
random_bytes : bytestring &length = 28 &transient;
random_bytes : bytestring &length = 28;
session_len : uint8;
session_id : uint8[session_len];
csuit_len : uint16 &check(csuit_len > 1 && csuit_len % 2 == 0);
@ -397,7 +397,7 @@ type V2ClientHello(rec: SSLRecord) = record {
type ServerHello(rec: SSLRecord) = record {
server_version : uint16;
gmt_unix_time : uint32;
random_bytes : bytestring &length = 28 &transient;
random_bytes : bytestring &length = 28;
session_len : uint8;
session_id : uint8[session_len];
cipher_suite : uint16[1];