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;

  modulepar float PX_EC_REPETITION_TIMEOUT := 120.0;

  modulepar float PX_EC_REPETITION_TIMEOUT_TH2 := 150.0;
  
} // End of module ItsPki_Pixits