STF545: Start ECIES implementation (88721188) · Commits · ITS - Intelligent Transport Systems / ITS

ttcn/TestCodec/TestCodec_SignedAndEncryptedMessages.ttcn

+105 −11

Changes for ttcn/TestCodec/TestCodec_SignedAndEncryptedMessages.ttcn: 105 added lines, 11 removed lines.
Original line number	Diff line number	Diff line
		@@ -36,6 +36,101 @@ module TestCodec_SignedAndEncryptedMessages {
		// TestCodec
		import from TestCodec_TestAndSystem all;

		testcase tc_test_hmac_sha256_test1() runs on TCType system TCType {
		var octetstring v_k := '0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b'O;
		var octetstring v_m := '4869205468657265'O;
		var octetstring v_t := 'b0344c61d8db38535ca8afceaf0bf12b'O;

		var octetstring v_result := fx_test_hmac_sha256(v_k, v_m);
		if (match(v_t, v_result)) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}
		}

		testcase tc_test_hmac_sha256_test2() runs on TCType system TCType {
		var octetstring v_k := '4a656665'O;
		var octetstring v_m := '7768617420646f2079612077616e7420666f72206e6f7468696e673f'O;
		var octetstring v_t := '5bdcc146bf60754e6a042426089575c7'O;

		var octetstring v_result := fx_test_hmac_sha256(v_k, v_m);
		if (match(v_t, v_result)) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}
		}

		testcase tc_test_hmac_sha256_test3() runs on TCType system TCType {
		var octetstring v_k := 'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa'O;
		var octetstring v_m := 'dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd'O;
		var octetstring v_t := '773ea91e36800e46854db8ebd09181a7'O;

		var octetstring v_result := fx_test_hmac_sha256(v_k, v_m);
		if (match(v_t, v_result)) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}
		}

		testcase tc_test_encrypt_aes_128_ccm_test1() runs on TCType system TCType {
		var octetstring v_k := 'E58D5C8F8C9ED9785679E08ABC7C8116'O;
		var octetstring v_n := 'A9F593C09EAEEA8BF0C1CF6A'O;
		var octetstring v_pt := '0653B5714D1357F4995BDDACBE10873951A1EBA663718D1AF35D2F0D52C79DE49BE622C4A6D90647BA2B004C3E8AE422FD27063AFA19AD883DCCBD97D98B8B0461B5671E75F19701C24042B8D3AF79B9FF62BC448EF9440B1EA3F7E5C0F4BFEFE3E326E62D5EE4CB4B4CFFF30AD5F49A7981ABF71617245B96E522E1ADD78A'O;
		var octetstring v_ct := '5F82B9FCE34B94835395DD89D71FB758D2A3907FBF2FD58994A2B9CF8725AF26F0B23853C27A06E35EE72CAD827713C18FA5DDA971D9BAA7B42A301FF60C6E4AD651C1BB6ED4F25F7D0FF387A11627934CD11F86984EA3AC969DDA9A020AD6424B0D393E3FB4B1119ADF5CDB012A59753E41D47E5E5A8C3A118ED407049B56D53BF56CB38C0B20A2502D1DA70B9761'O;

		var octetstring v_result := fx_test_encrypt_aes_128_ccm_test(v_k, v_n, v_pt);
		if (match(v_ct, v_result)) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}

		v_result := fx_test_decrypt_aes_128_ccm_test(v_k, v_n, v_result);
		if (match(v_pt, v_result)) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}
		}

		testcase tc_test_encrypt_aes_128_ccm_test2() runs on TCType system TCType {
		var octetstring v_k := 'E58D5C8F8C9ED9785679E08ABC7C8116'O;
		var octetstring v_n := 'A9F593C09EAEEA8BF0C1CF6A'O;
		var octetstring v_pt := 'ACA650CCCCDA604E16A8B54A3335E0BC2FD9444F33E3D9B82AFE6F445357634974F0F1728CF113452321CBE5858304B01D4A14AE7F3B45980EE8033AD2A8599B78C29494C9E5F8945A8CADE3EB5A30D156C0D83271626DADDB650954093443FBAC9701C02E5A973F39C2E1761A4B48C764BF6DB215A54B285A06ECA3AF0A83F7'O;
		var octetstring v_ct := 'F5775C416282A339DC66B56F5A3AD0DDACDB3F96EFBD812B4D01F98686B5518B1FA4EBE5E85213E1C7EDE704397EF3536FC8CF3DF4FB52B7870E8EB2FD2FBCD5CF263231D2C09DCAE5C31CDC99E36EFBE5737BF067D58A0A535B242BCBCA2A5604791E183CB0C2E5E851425E11B4E528237F123B5DE8E349DD6D1A4506465F7257001080003872271900D3F39C9661FD'O;

		var octetstring v_result := fx_test_encrypt_aes_128_ccm_test(v_k, v_n, v_pt);
		if (match(v_ct, v_result)) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}

		v_result := fx_test_decrypt_aes_128_ccm_test(v_k, v_n, v_result);
		if (match(v_pt, v_result)) {
		setverdict(pass);
		} else {
		setverdict(fail);
		}
		}

		testcase tc_test_encrypt_aes_128_ccm_test3() runs on TCType system TCType {
		var octetstring v_wrong_k := 'A58D5C8F8C9ED9785679E08ABC7C8116'O;
		var octetstring v_n := 'A9F593C09EAEEA8BF0C1CF6A'O;
		var octetstring v_pt := 'ACA650CCCCDA604E16A8B54A3335E0BC2FD9444F33E3D9B82AFE6F445357634974F0F1728CF113452321CBE5858304B01D4A14AE7F3B45980EE8033AD2A8599B78C29494C9E5F8945A8CADE3EB5A30D156C0D83271626DADDB650954093443FBAC9701C02E5A973F39C2E1761A4B48C764BF6DB215A54B285A06ECA3AF0A83F7'O;
		var octetstring v_ct := 'F5775C416282A339DC66B56F5A3AD0DDACDB3F96EFBD812B4D01F98686B5518B1FA4EBE5E85213E1C7EDE704397EF3536FC8CF3DF4FB52B7870E8EB2FD2FBCD5CF263231D2C09DCAE5C31CDC99E36EFBE5737BF067D58A0A535B242BCBCA2A5604791E183CB0C2E5E851425E11B4E528237F123B5DE8E349DD6D1A4506465F7257001080003872271900D3F39C9661FD'O;

		var octetstring v_result := fx_test_encrypt_aes_128_ccm_test(v_wrong_k, v_n, v_pt);
		if (match(v_ct, v_result)) {
		setverdict(fail);
		} else {
		setverdict(pass);
		}
		}

		testcase tc_encrypted_signed_message() runs on TCType system TCType {

		var template (value) EtsiTs103097Data v_signed_data;
		@@ -43,15 +138,15 @@ module TestCodec_SignedAndEncryptedMessages {
		var octetstring v_raw_payload_to_be_signed := 'CAFFEDECA0000001'O;
		var HashedId8 v_digest := '0000000000000000'O;

		var template (value) EtsiTs103097Data v_encryped_data;
		var template (value) EtsiTs103097Data v_encrypted_data;
		var EtsiTs103097Data v_encrypted_data_dec;
		var bitstring v_encMsg;
		var Oct32 v_obuPrivateKey, v_obuPublicKeyX, v_obuPublicKeyY;
		var Oct32 v_tsPrivateKey, v_tsPublicKeyX, v_tsPublicKeyY;
		var Oct32 v_publicEncKeyX;
		var Oct32 v_publicEncKeyY;
		var Oct16 v_tag;
		var Oct16 v_ephKey;
		var Oct16 v_authentication_vector;
		var Oct16 v_hmac;
		var Opaque v_cypheredPayload;
		var Oct12 v_nonce;
		var HashedId8 v_recipientId;
		@@ -61,7 +156,6 @@ module TestCodec_SignedAndEncryptedMessages {
		f_generate_key_pair_nistp256(v_tsPrivateKey, v_tsPublicKeyX, v_tsPublicKeyY);

		// The OBU is the sender, the Test System is te receiver

		v_signed_data := m_etsiTs103097Data_signed(
		m_signedData(
		sha256,
		@@ -87,9 +181,9 @@ module TestCodec_SignedAndEncryptedMessages {
		);
		log("v_signed_data = ", v_signed_data);
		v_encMsg := encvalue(valueof(v_signed_data));
		v_cypheredPayload := f_encryptWithEciesNistp256WithSha256(bit2oct(v_encMsg), v_tsPublicKeyX, v_tsPublicKeyY, v_publicEncKeyX, v_publicEncKeyY, v_ephKey, v_tag, v_nonce);
		v_cypheredPayload := f_encryptWithEciesNistp256WithSha256(bit2oct(v_encMsg), v_tsPublicKeyX, v_tsPublicKeyY, v_publicEncKeyX, v_publicEncKeyY, v_hmac, v_authentication_vector, v_nonce);
		v_recipientId := f_HashedId8FromSha256(f_hashWithSha256(bit2oct(v_encMsg))); // IEEE Std 1609.2a-2017 Clause 6.3.34 PKRecipientInfo
		v_encryped_data := m_etsiTs103097Data_encrypted(
		v_encrypted_data := m_etsiTs103097Data_encrypted(
		m_encryptedData(
		{
		m_recipientInfo_signedDataRecipInfo(
		@@ -101,8 +195,8 @@ module TestCodec_SignedAndEncryptedMessages {
		v_publicEncKeyX,
		v_publicEncKeyY
		),
		v_ephKey,
		v_tag
		v_hmac,
		v_authentication_vector
		))))
		},
		m_SymmetricCiphertext_aes128ccm(
		@@ -113,13 +207,13 @@ module TestCodec_SignedAndEncryptedMessages {
		)
		)
		);
		log("v_encryped_data = ", v_encryped_data);
		v_encMsg := encvalue(valueof(v_encryped_data));
		log("v_encrypted_data = ", v_encrypted_data);
		v_encMsg := encvalue(valueof(v_encrypted_data));
		setverdict(pass, "Encoding passed.");
		if (decvalue(v_encMsg, v_encrypted_data_dec) != 0) {
		setverdict(fail);
		stop;
		} else if (not(match(valueof(v_signed_data), v_encrypted_data_dec))) {
		} else if (not(match(valueof(v_encrypted_data), v_encrypted_data_dec))) {
		setverdict(fail);
		stop;
		}