ItsPki_Pixits.ttcn

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;
  
  modulepar boolean PX_CHECK_INITIAL_STATES := true;
  
  modulepar float PX_CERT_EXPIRATION_DELAY := 10.0;
  
} // End of module ItsPki_Pixits