•در PCA
–ارائه اثبات براي حق دسترسي بر اساس منطق مرتبه بالا توسط مشتري
–بررسي اثبات توسط سرور و صدور اجازه دسترسي
–مشتري خود را به يک زير مجموعه تصميم پذير منطق، حسب کاربرد خود محدود مي کند.
•سابقه استفاده از PCA در کنترل دسترسي
–در [Bauer, 2003] سيستمي براي کنترل دسترسي در وب بر پايه PCA
–در [Hengartner, 2005] سيستمي براي کنترل دسترسي در محيطهاي فراگير بر پايه PCA
به سوی کارهای آينده
استفاده از روش ارائهي گواهي در کنترل دسترسي
•استفاده از استدلالاتي غير از استنتاج با منطق صوري در روش ارائه اثبات
–استفاده از معادلات رياضي
–
–استفاده از مسائل NP-تمام
–
–استفاده مشتري از گواهي هاي قبلي در سيستم هاي کنترل دسترسي بر مبناي سابقه
استفاده از روش ارائهي گواهي در کنترل دسترسي (ادامه)
•مثال
–وابستگی اجازه دسترسی مشتريان به دسترسی های قبلی
•برای دسترسی مشتری به يک منبع، حداقل مقدار مشخصی از زمان از دسترسی قبلی گذشته باشد
–
–هر مشتری سوابق خود را نگه می دارد
–
–سرور نيازی به جمع آوری حجم بالای اطلاعات ندارد