Commit f99be062 authored by ASN.1 Documenter's avatar ASN.1 Documenter
Browse files

Initial

parent 582bb637

.gitmodules

0 → 100644
+4 −0
Original line number Original line Diff line number Diff line 
[submodule "lib/asn1"]

	path = lib/asn1

	url = https://forge.etsi.org/rep/ITS/asn1/pki_ts102941.git

	branch = testing

ItsPki_Pixits.ttcn

0 → 100755
+13 −0
Original line number Original line Diff line number Diff line 
module ItsPki_Pixits {



  modulepar integer PX_RE_ENROLMENT_COUNTER := 2;



  modulepar integer PX_RE_AUTHORIZATION_COUNTER := 2;



  modulepar float PX_RE_ENROLMENT_DELAY := 2.0;

  

  modulepar float PX_RE_AUTHORIZATION_DELAY := 2.0;

  

  modulepar boolean PX_TRIGGER_EC_BEFORE_AT := true;

  

} // End of module ItsPki_Pixits

ItsPki_TestCases.ttcn

0 → 100755
+9344 −0

File added.

Preview size limit exceeded, changes collapsed.

ItsPki_TestControl.ttcn

0 → 100755
+101 −0
Original line number Original line Diff line number Diff line 
module ItsPki_TestControl {

  

  // LibItsPki

  import from LibItsPki_Pics all;

  

  // AtsPki

  import from ItsPki_TestCases all;

  

  control {

    

    if (PICS_IUT_ITS_S_ROLE) {

      if (PICS_SECPKI_ENROLMENT) {

        execute(TC_SECPKI_ITSS_ENR_01_BV());

        execute(TC_SECPKI_ITSS_ENR_02_BV());

        if (PICS_SECPKI_REENROLMENT) {

          execute(TC_SECPKI_ITSS_ENR_03_BV());

          execute(TC_SECPKI_ITSS_ENR_06_BV());

          execute(TC_SECPKI_ITSS_ENR_12_BV());

        }

        if (PICS_SECPKI_CRL) {

          execute(TC_SECPKI_ITSS_ENR_04_BV())

          }

        execute(TC_SECPKI_ITSS_ENR_05_BV());

        execute(TC_SECPKI_ITSS_ENR_07_BV());

        execute(TC_SECPKI_ITSS_ENR_08_BV());

        execute(TC_SECPKI_ITSS_ENR_09_BV());

        execute(TC_SECPKI_ITSS_ENR_10_BV());

        execute(TC_SECPKI_ITSS_ENR_11_BV());

        

        execute(TC_SECPKI_ITSS_ENR_RECV_01_BV());

        execute(TC_SECPKI_ITSS_ENR_RECV_02_BV());

      }



      if (PICS_SECPKI_AUTHORIZATION) {

        // TODO

      }

    }

    

    if (PICS_IUT_EA_ROLE) {

      execute(TC_SECPKI_EA_ENR_RCV_01_BV());

      execute(TC_SECPKI_EA_ENR_RCV_02_BI_01());

      execute(TC_SECPKI_EA_ENR_RCV_02_BI_02());

      execute(TC_SECPKI_EA_ENR_RCV_05_BI());

      execute(TC_SECPKI_EA_ENR_RCV_06_BI());

      execute(TC_SECPKI_EA_ENR_RCV_07_BI());

      execute(TC_SECPKI_EA_ENR_RCV_08_BI());

      execute(TC_SECPKI_EA_ENR_RCV_09_BI());

      execute(TC_SECPKI_EA_ENR_RCV_10_BI());

      execute(TC_SECPKI_EA_ENR_RCV_11_BI());

      execute(TC_SECPKI_EA_ENR_RCV_12_BI());

      execute(TC_SECPKI_EA_ENR_RCV_13_BI());

      

      execute(TC_SECPKI_EA_ENR_01_BV());

      execute(TC_SECPKI_EA_ENR_02_BV());

      execute(TC_SECPKI_EA_ENR_03_BV());

      execute(TC_SECPKI_EA_ENR_04_BV());

      execute(TC_SECPKI_EA_ENR_05_BV());

      execute(TC_SECPKI_EA_ENR_06_BV());

      execute(TC_SECPKI_EA_ENR_07_BV());

      execute(TC_SECPKI_EA_ENR_08_BV());

      execute(TC_SECPKI_EA_ENR_09_BV());

      execute(TC_SECPKI_EA_ENR_10_BV());

      execute(TC_SECPKI_EA_ENR_11_BV());

      execute(TC_SECPKI_EA_ENR_12_BV());



      execute(TC_SECPKI_EA_AUTHVAL_RCV_01_BV());

      execute(TC_SECPKI_EA_AUTHVAL_RCV_02_BI());

    }



    if (PICS_IUT_AA_ROLE) {

      execute(TC_SECPKI_AA_AUTH_RCV_01_BV());

      if (PICS_PKI_AUTH_POP) {

        execute(TC_SECPKI_AA_AUTH_RCV_02_BV());

      }

      execute(TC_SECPKI_AA_AUTH_RCV_03_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_04_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_05_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_06_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_07_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_08_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_09_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_10_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_11_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_12_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_13_BI());

      execute(TC_SECPKI_AA_AUTH_RCV_14_BI());



      execute(TC_SECPKI_AA_AUTHVAL_01_BV());

    }



    if (PICS_IUT_CA_ROLE) {

     execute(TC_RCA_CTLGEN_01_BV());



     execute(TC_RCA_CRLGEN_01_BV());



     execute(TC_TLM_ECTLGEN_01_BV());

    }



  } // End of 'control' statement



}  // End of module module ItsPki_TestControl

lib/LibItsPki_EncdecDeclarations.ttcn

0 → 100755
+138 −0
Original line number Original line Diff line number Diff line 
module LibItsPki_EncdecDeclarations {

    

  // LibIts

  import from Ieee1609Dot2BaseTypes language "ASN.1:1997" all;

  import from EtsiTs102941BaseTypes language "ASN.1:1997" all;

  import from EtsiTs102941TypesEnrolment language "ASN.1:1997" all;

  import from EtsiTs102941TypesAuthorization language "ASN.1:1997" all;

  import from EtsiTs102941TypesAuthorizationValidation language "ASN.1:1997" all;

  import from EtsiTs102941MessagesCa language "ASN.1:1997" all;

  import from EtsiTs103097Module language "ASN.1:1997" all;

  

  import from LibItsSecurity_TypesAndValues all;

    

  external function fx_enc_EtsiTs102941Data(in EtsiTs102941MessagesCa.EtsiTs102941Data p_etsi_ts_102941_data) return bitstring

  with {extension "prototype(convert) encode(PER)"}





  external function fx_dec_EtsiTs102941Data(inout bitstring b, out EtsiTs102941MessagesCa.EtsiTs102941Data p_etsi_ts_102941_data)return integer

  with {extension "prototype(sliding) decode(PER)"}

  

  external function fx_enc_EtsiTs102941DataContent(in EtsiTs102941MessagesCa.EtsiTs102941DataContent p_etsi_ts_102941_data) return bitstring

  with {extension "prototype(convert) encode(PER)"}





  external function fx_dec_EtsiTs102941DataContent(inout bitstring b, out EtsiTs102941MessagesCa.EtsiTs102941DataContent p_etsi_ts_102941_data)return integer

  with {extension "prototype(sliding) decode(PER)"}

  

  /**

   * @desc Encoding function for EtsiTs102941TypesEnrolment InnerEcRequest

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_InnerEcRequest(in EtsiTs102941TypesEnrolment.InnerEcRequest p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_InnerEcRequest(inout bitstring b, out EtsiTs102941TypesEnrolment.InnerEcRequest p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

  /**

   * @desc Encoding function for EtsiTs102941TypesEnrolment InnerEcResponse

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_InnerEcResponse(in EtsiTs102941TypesEnrolment.InnerEcResponse p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_InnerEcResponse(inout bitstring b, out EtsiTs102941TypesEnrolment.InnerEcResponse p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

  /**

   * @desc Encoding function for EtsiTs102941TypesAuthorization InnerAtRequest

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_InnerAtRequest(in EtsiTs102941TypesAuthorization.InnerAtRequest p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_InnerAtRequest(inout bitstring b, out EtsiTs102941TypesAuthorization.InnerAtRequest p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

  /**

   * @desc Encoding function for EtsiTs102941TypesAuthorization InnerAtResponse

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_InnerAtResponse(in EtsiTs102941TypesAuthorization.InnerAtResponse p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_InnerAtResponse(inout bitstring b, out EtsiTs102941TypesAuthorization.InnerAtResponse p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

  /**

   * @desc Encoding function for EtsiTs102941TypesAuthorization SharedAtRequest

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_SharedAtRequest(in EtsiTs102941TypesAuthorization.SharedAtRequest p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_SharedAtRequest(inout bitstring b, out EtsiTs102941TypesAuthorization.SharedAtRequest p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

  /**

   * @desc Encoding function for EtsiTs102941TypesAuthorizationValidation AuthorizationValidationRequest

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_AuthorizationValidationRequest(in EtsiTs102941TypesAuthorizationValidation.AuthorizationValidationRequest p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_AuthorizationValidationRequest(inout bitstring b, out EtsiTs102941TypesAuthorizationValidation.AuthorizationValidationRequest p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

  /**

   * @desc Encoding function for EtsiTs102941TypesAuthorizationValidation AuthorizationValidationResponse

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_AuthorizationValidationResponse(in EtsiTs102941TypesAuthorizationValidation.AuthorizationValidationResponse p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_AuthorizationValidationResponse(inout bitstring b, out EtsiTs102941TypesAuthorizationValidation.AuthorizationValidationResponse p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

  /**

   * @desc Encoding function for EtsiTs102941BaseTypes PublicKeys

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_PublicKeys(in EtsiTs102941BaseTypes.PublicKeys p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_PublicKeys(inout bitstring b, out EtsiTs102941BaseTypes.PublicKeys p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

  /**

   * @desc Encoding function for Ieee1609Dot2BaseTypes PublicVerificationKey

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_PublicVerificationKey(in Ieee1609Dot2BaseTypes.PublicVerificationKey p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_PublicVerificationKey(inout bitstring b, out Ieee1609Dot2BaseTypes.PublicVerificationKey p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

  /**

   * @desc Encoding function for Ieee1609Dot2BaseTypes PublicEncryptionKey

   * @param p The certificate to encode

   * @return The encode message in OER format

   */

  external function fx_enc_PublicEncryptionKey(in Ieee1609Dot2BaseTypes.PublicEncryptionKey p) return bitstring

  with {extension "prototype(convert) encode(PER)"}

    

  external function fx_dec_PublicEncryptionKey(inout bitstring b, out Ieee1609Dot2BaseTypes.PublicEncryptionKey p) return integer

  with {extension "prototype(sliding) decode(PER)"}

    

} // End of module LibItsPki_EncdecDeclarations