Commit a6f3c6f4 authored by garciay's avatar garciay
Browse files

Major security bugs fixed for signature. Encryption to do.

parent 67b4b15e
Loading
Loading
Loading
Loading
+21 −7
Original line number Diff line number Diff line
@@ -33,7 +33,7 @@ module TestCodec_SecuredFuntions {

    testcase tc_load_certificates() runs on TCType system TCType {

      if (fx_loadCertificates(PX_CERTIFICATE_POOL_PATH, "Yann") == false) {
      if (fx_loadCertificates(PX_CERTIFICATE_POOL_PATH, PX_IUT_SEC_CONFIG_NAME) == false) {
        setverdict(fail);
      } else {
        setverdict(pass);
@@ -43,13 +43,13 @@ module TestCodec_SecuredFuntions {
    testcase tc_read_certificate_1() runs on TCType system TCType {
      var octetstring v_certificate;
      
      if (fx_loadCertificates(PX_CERTIFICATE_POOL_PATH, "Yann") == false) {
      if (fx_loadCertificates(PX_CERTIFICATE_POOL_PATH, PX_IUT_SEC_CONFIG_NAME) == false) {
        setverdict(fail);
      } else {
        setverdict(pass);
      }

      if (fx_readCertificate("CERT_TEST_A_ROOT", v_certificate) == false) {
      if (fx_readCertificate("CERT_IUT_A_RCA", v_certificate) == false) {
        setverdict(fail);
      } else {
        log("v_certificate: ", v_certificate);
@@ -60,13 +60,13 @@ module TestCodec_SecuredFuntions {
    testcase tc_read_certificate_2() runs on TCType system TCType {
      var octetstring v_certificate;
      
      if (fx_loadCertificates(PX_CERTIFICATE_POOL_PATH, "Yann") == false) {
      if (fx_loadCertificates(PX_CERTIFICATE_POOL_PATH, PX_IUT_SEC_CONFIG_NAME) == false) {
        setverdict(fail);
      } else {
        setverdict(pass);
      }

      if (fx_readCertificate("CERT_TEST_A_ROOT", v_certificate) == false) {
      if (fx_readCertificate("CERT_IUT_A_RCA", v_certificate) == false) {
        setverdict(fail);
      } else {
        var bitstring v_oct2bit;
@@ -84,11 +84,11 @@ module TestCodec_SecuredFuntions {
    } // End of testcase tc_load_certificates_2

    testcase tc_read_certificate_digest() runs on TCType system TCType {
      if (fx_loadCertificates(PX_CERTIFICATE_POOL_PATH, "Yann") == false) {
      if (fx_loadCertificates(PX_CERTIFICATE_POOL_PATH, PX_IUT_SEC_CONFIG_NAME) == false) {
        setverdict(fail);
      } else {
        var octetstring v_digest;
        if (fx_readCertificateDigest("CERT_TEST_A_ROOT", v_digest) == false) {
        if (fx_readCertificateDigest("CERT_IUT_A_RCA", v_digest) == false) {
          setverdict(fail);
        } else {
          log("v_digest = ", v_digest);
@@ -97,6 +97,20 @@ module TestCodec_SecuredFuntions {
      }
    } // End of testcase tc_load_certificates_digest

    testcase tc_read_certificate_hash() runs on TCType system TCType {
      if (fx_loadCertificates(PX_CERTIFICATE_POOL_PATH, PX_IUT_SEC_CONFIG_NAME) == false) {
        setverdict(fail);
      } else {
        var octetstring v_hash;
        if (fx_readCertificateHash("CERT_IUT_A_RCA", v_hash) == false) {
          setverdict(fail);
        } else {
          log("v_hash = ", v_hash);
          setverdict(pass);
        }
      }
    } // End of testcase tc_load_certificates_digest

    testcase tc_sha256_1() runs on TCType system TCType {
      var octetstring v_test := '616263'O;
      var Oct32 v_exp_hash := 'ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad'O;