ADDED KRB_AS_REP_CHECK && AS_TGS_REP_CHECK