LibItsPki_Pixits.ttcn

module LibItsPki_Pixits {
  
  // LibCommon
  import from LibCommon_BasicTypesAndValues all;
  import from LibCommon_DataStrings all;
  
  // LibIts
  import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
  
  /**
   * @desc Is the first enrolment?
   */
  modulepar boolean PX_FIRST_ENROLMENT := true;
  
  /**
   * @desc Do the encryption keys be included in Authorization Request?
   */
  modulepar boolean PX_INCLUDE_ENCRYPTION_KEYS := true;
  
  /**
   * @desc Do the Authorization Request use SignedWithPop mechanism?
   */
  modulepar boolean PX_AUTHORIZATION_REQUEST_WITH_POP := true;

  /**
   * @desc Contains the private key for the EC certificate, used in case of re-enrolment
   */
  modulepar Oct32 PX_EC_PRIVATE_KEY := int2oct(0, 32);
  
  /**
   * @desc Contains the hashed id8 of the EC certificate, used in case of re-enrolment
   */
  modulepar HashedId8 PX_EC_HASHED_ID8 := int2oct(0, 8);
} // End of module LibItsPki_Pixits