Skip to content
LibItsPki_Pics.ttcn 6.53 KiB
Newer Older
garciay's avatar
garciay committed
module LibItsPki_Pics {
  
  /**
   * @desc Does the IUT act as ITS-S device?
   */
  modulepar boolean PICS_IUT_ITS_S_ROLE := false;
  
  /**
   * @desc Does the IUT act as EA device?
   */
  modulepar boolean PICS_IUT_EA_ROLE := true;
  
  /**
   * @desc Does the IUT act as AA device?
   */
Yann Garcia's avatar
Yann Garcia committed
  modulepar boolean PICS_IUT_AA_ROLE := true;
YannGarcia's avatar
YannGarcia committed
  /**
   * @desc Does the IUT act as CA device?
   */
  modulepar boolean PICS_IUT_CA_ROLE := true;
  
  /**
   * @desc Does the IUT support enrolment?
   */
  modulepar boolean PICS_SECPKI_ENROLMENT := true;
  
  /**
   * @desc Does the IUT support autorization?
   */
  modulepar boolean PICS_SECPKI_AUTHORIZATION := true;
  
  /**
   * @desc Is a re-enrolment request?
   */
Yann Garcia's avatar
Yann Garcia committed
  modulepar boolean PICS_SECPKI_REENROLMENT := false;

  /**
   * @desc ?
   */
  modulepar boolean PICS_SECPKI_CRL := false;
  /**
   * @desc Do the Authorization Request use SignedWithPop mechanism?
   */
  modulepar boolean PICS_PKI_AUTH_POP := true;

garciay's avatar
garciay committed
  /**
garciay's avatar
garciay committed
   * @desc Certificate used by the IUT acting as ITS-S
  modulepar charstring PICS_IUT_CERTIFICATE_ID := "CERT_IUT_A_AT";
garciay's avatar
garciay committed
  /**
   * @desc Certificate used by the IUT acting as EA
   */
  modulepar charstring PICS_IUT_EA_CERTIFICATE_ID := "CERT_IUT_A_EA";
garciay's avatar
garciay committed

  /**
   * @desc Certificate used by the IUT acting as AA
   */
  modulepar charstring PICS_IUT_AA_CERTIFICATE_ID := "CERT_IUT_A_AA";
garciay's avatar
garciay committed

  /**
   * @desc Certificate used by the IUT acting as AA
   */
  modulepar charstring PICS_IUT_CA_CERTIFICATE_ID := "CERT_IUT_A_RCA";
garciay's avatar
garciay committed

garciay's avatar
garciay committed
  /**
Yann Garcia's avatar
Yann Garcia committed
   * @desc Certificate used by the Test System acting as ITS-S
garciay's avatar
garciay committed
   */
  modulepar charstring PICS_TS_CERTIFICATE_ID := "CERT_TS_A_EA";
  
Yann Garcia's avatar
Yann Garcia committed
  /**
   * @desc Certificate used by the Test System acting as EA
   */
  modulepar charstring PICS_TS_EA_CERTIFICATE_ID := "CERT_TS_A_EA";
Yann Garcia's avatar
Yann Garcia committed
  
  /**
   * @desc Certificate used by the Test System acting as AA
   */
  modulepar charstring PICS_TS_AA_CERTIFICATE_ID := "CERT_TS_A_AA";
  
  /**
   * @desc Certificate used by the Test System acting as EA
   */
  modulepar charstring PICS_TS_CA_CERTIFICATE_ID := "CERT_TS_RCA_A";
Yann Garcia's avatar
Yann Garcia committed
  
Yann Garcia's avatar
Yann Garcia committed
  /**
   * @desc Set to true if different end points are used for EC and AT
   */
  modulepar boolean PICS_MULTIPLE_END_POINT := false;

  /**
   * @desc End point for the enrolment
   */
  modulepar charstring PICS_HEADER_HOST_EC := "www.its.ec.org";
  
  /**
   * @desc End point for the authorization validation
   */
  modulepar charstring PICS_HEADER_HOST_ATV := "www.its.atv.org";
  
  /**
   * @desc End point for the authorization
   */
  modulepar charstring PICS_HEADER_HOST_AT := "www.its.at.org";
  
YannGarcia's avatar
YannGarcia committed
  /**
   * @desc End point for the CA
   */
  modulepar charstring PICS_HEADER_HOST_CA := "www.its.ca.org";
  
  /**
   * @desc Certificate used by the Test System
   */
  modulepar charstring PICS_HTTP_POST_URI := "/its/inner_ec_request";
  
  /**
   * @desc ITS-S with privacy
   */
  modulepar boolean PICS_ITS_S_WITH_PRIVACY := true;
  
YannGarcia's avatar
YannGarcia committed
  /**
   * @desc Set to true if the PKI configuration authorize to configure an external EA entity
   */
  modulepar boolean PICS_SIMULATE_EA_ENTITY := false;
YannGarcia's avatar
YannGarcia committed
  
  /**
   * @desc Set to true if the PKI configuration authorize to configure an external AA entity
   */
  modulepar boolean PICS_SIMULATE_AA_ENTITY := false;
YannGarcia's avatar
YannGarcia committed
  
Yann Garcia's avatar
Yann Garcia committed
  /**
   * @desc HTTP POST URI for InnerECRequest
   */
  modulepar charstring PICS_HTTP_POST_URI_EC := "/enrolment";
  
  /**
   * @desc HTTP POST URI for InnerATRequest
   */
  modulepar charstring PICS_HTTP_POST_URI_AT := "/authorize";
  
  /**
   * @desc HTTP POST URI for authorization validation
   */
  modulepar charstring PICS_HTTP_POST_URI_ATV := "/authorize_validate";
  
YannGarcia's avatar
YannGarcia committed
  /**
   * @desc HTTP GET URI for Certificate Trusted List
   */
  modulepar charstring PICS_HTTP_GET_URI_CTL := "/dc/getctl";
  
garciay's avatar
garciay committed
  /**
   * @desc Factory private key for verification Nist P256
   */
  modulepar octetstring PICS_ITS_S_SIGN_NITSP256_PRIVATE_KEY := '5C25F97607DFC62972A147FAD8B7A7C939569F0F95ECD4C641724A68B51836E5'O;
  
  /**
   * @desc Factory compressed public key for verification Nist P256
   */
  modulepar octetstring PICS_ITS_S_SIGN_NISTP256_PUBLIC_KEY := '020144E5174B0AFDA86BDB8B643B68D40030F5BDB9A9F090C64852CC3C20C9D5AD'O;
  
  /**
   * @desc Factory private key for encryption Nist P256
   */
  modulepar octetstring PICS_ITS_S_ENC_NITSP256_PRIVATE_KEY := 'EDEBEADCAA9514CD4B30256126FB7DF958B911C6EB58CCF702983C3DCD3DECBD'O;
  
  /**
   * @desc Factory compressed public key for encryption Nist P256
   */
  modulepar octetstring PICS_ITS_S_ENC_NISTP256_PUBLIC_KEY := '023A4ADDCDD5EE66DAB2116B0C3AB47CCEDAE92CD9ACE98A84B10EB63A9DCA798C'O;
  
  /**
   * @desc Factory private key for encryption Brainpool P256 r1
   */
  modulepar octetstring PICS_ITS_S_ENC_BRAINPOOLP256r1_PRIVATE_KEY := '9F155D40B6C920BA45D8027093C8ADADAF3AA6F9F71F0CC0F8279FF0146A8A48'O;
  
  /**
   * @desc Factory compressed public key for encryption Brainpool P256 r1
   */
  modulepar octetstring PICS_ITS_S_ENC_BRAINPOOLP256r1_PUBLIC_KEY := '038602F468BD334EA4D2BA416295E204D58BD1F42C85FB9BE57237C74544F6A69A'O;
  
  /**
   * @desc Factory private key for verification Brainpool P256 r1
   */
  modulepar octetstring PICS_ITS_S_SIGN_BRAINPOOLP256r1_PRIVATE_KEY := '6D585B716D06F75EC2B8A8ADEBFCE6ED35B0640C2AFBFF25FE48FC81A6732D4F'O;
  
  /**
   * @desc Factory compressed public key for verification Brainpool P256 r1
   */
  modulepar octetstring PICS_ITS_S_SIGN_BRAINPOOLP256r1_PUBLIC_KEY := '02A92BA3B770B040B8D958D5BD2CC9B537212D6963F50EA3E4784FEFA5D0454C12'O;
  
  /**
   * @desc Factory private key for encryption Brainpool P384 r1
   */
  modulepar octetstring PICS_ITS_S_ENC_BRAINPOOLP384r1_PRIVATE_KEY := '6B4B4392511B252C904801466F5DA0A7F28E038E6656800CBB0CDCB3D32F862CA4D59CBDC1A19E98E9191582AF1DB3D7'O;
  
  /**
   * @desc Factory private key for verification Brainpool P384 r1
   */
  modulepar octetstring PICS_ITS_S_SIGN_BRAINPOOLP384r1_PRIVATE_KEY := '3CD977195A579787C84D5900F4CB6341E0C3D2750B140C5380E6F03CE3FBA0022F7541DEABDCED4790D313ED8F56ACA8'O;
  
  /**
   * @desc Factory compressed public key for verification Brainpool P384 r1
   */
  modulepar octetstring PICS_ITS_S_SIGN_BRAINPOOLP384r1_PUBLIC_KEY := '0243FF5C96984C2C3F5FD5C5F6551C90F5FAEE1E5E8301763E4AF1E9D627F3474E554B82EE98EC4B49808DFF61B35F8313'O;
  
  /**
   * @desc Canonical ITSS-S identifier
   */
  modulepar octetstring PICS_ITS_S_CANONICAL_ID := '1B4CA1210123AE900BBE6C3EBAE7E87DA20DBDAB1E7B2EC0691C51C1021900AA'O;

  /**
   * @desc Invalid Canonical ITSS-S identifier
   */
YannGarcia's avatar
YannGarcia committed
  modulepar octetstring PICS_INVALID_ITS_S_CANONICAL_ID := 'BABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABA'O;
garciay's avatar
garciay committed
} // End of module LibItsPki_Pics