التحقق من العقود والقواعد في بنية واجهة التحكم في الوصول (ACI)