LibItsPki_Pixits.ttcn 2.43 KB
Newer Older
garciay's avatar
garciay committed
module LibItsPki_Pixits {
Yann Garcia's avatar
Yann Garcia committed
  
  // 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;
garciay's avatar
garciay committed
  
  /**
   * @desc Do the encryption keys be included in Authorization Request?
   */
  modulepar boolean PX_INCLUDE_ENCRYPTION_KEYS := true;
  
Yann Garcia's avatar
Yann Garcia committed
  /**
   * @desc Contains the private key for the EC certificate, used in case of re-enrolment
   */
  modulepar Oct32 PX_EC_PRIVATE_KEY := int2oct(0, 32);
Yann Garcia's avatar
Yann Garcia committed
  /**
   * @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?
  /**
YannGarcia's avatar
YannGarcia committed
   * @desc Indicate which encryption algorithem to be used for Authorization Request (AA certificate of the IUT)
   */
  modulepar SecurityAlg PX_EC_ALG_FOR_AT  := e_nist_p256;
  /**
YannGarcia's avatar
YannGarcia committed
   * @desc Indicate which encryption algorithem to be used for Authorization Validation Request (EA certificate of the IUT)
   */
  modulepar SecurityAlg PX_EC_ALG_FOR_ATV := e_nist_p256;
YannGarcia's avatar
YannGarcia committed
  /**
   * @desc Indicate which encryption algorithem to be used for EcSignature (EA certificate of the IUT)
   */
  modulepar SecurityAlg PX_EC_ALG_FOR_EC_SIGN := 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;

YannGarcia's avatar
YannGarcia committed
  modulepar octetstring PX_INNER_EC_CERTFICATE_INCORRECT_BITMAP_SSP_SCR_WRONG_VERSION := '00C0'O;
  
  modulepar octetstring PX_INNER_EC_CERTFICATE_INCORRECT_BITMAP_SSP_SCR_WRONG_SSP_BIT := '0180'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;
  
garciay's avatar
garciay committed
} // End of module LibItsPki_Pixits