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;

  // LibItsPki
  import from LibItsPki_TypesAndValues all;
  
  /**
   * @desc Do the encryption keys be included in Authorization Request?
   */
  modulepar boolean PX_INCLUDE_ENCRYPTION_KEYS := 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);

  /**
   * @desc Contains the hash of the EC certificate, used in case of re-enrolment
   */
  modulepar Oct32 PX_EC_HASH := int2oct(0, 32);
  
  /**
   * @desc Indicate which encryption algorithem to be used for Enrolment Credencial
   */
  modulepar SecurityAlg PX_EC_ALG_FOR_EC  := e_nist_p256; // TODO Use RCA to determine encryption algorithm?
  /**
   * @desc Indicate which encryption algorithem to be used for Authorization Request
   */
  modulepar SecurityAlg PX_EC_ALG_FOR_AT  := e_nist_p256;
  /**
   * @desc Indicate which encryption algorithem to be used for Authorization Validation Request
   */
  modulepar SecurityAlg PX_EC_ALG_FOR_ATV := e_nist_p256;
  
  /**
   * @desc Indicate which verification algorithem to be used
   */
  modulepar SecurityAlg PX_VE_ALG := e_nist_p256;
  
  modulepar octetstring PX_INNER_EC_CERTFICATE_BITMAP_SSP_SCR := '01C0'O;

  modulepar octetstring PX_INNER_EC_CERTFICATE_INCORRECT_BITMAP_SSP_SCR := '01FF'O;

  modulepar octetstring PX_INNER_EC_CERTFICATE_BITMAP_SSP_CAM := '830001'O;
  
  modulepar octetstring PX_INNER_EC_CERTFICATE_BITMAP_SSP_DENM := '830001'O;
  
  modulepar octetstring PX_INNER_AT_CERTFICATE_BITMAP_SSP_CAM := '01FFFC'O;
  
  modulepar octetstring PX_INNER_AT_CERTFICATE_BITMAP_SSP_DENM := '01FFFFFF'O;
  
} // End of module LibItsPki_Pixits