عرض بسيط للتسجيلة

المؤلفBai, Yun
المؤلفKhan, Khaled M.
تاريخ الإتاحة2024-04-02T06:04:50Z
تاريخ النشر2011
اسم المنشورConferences in Research and Practice in Information Technology Series
المصدرScopus
الرقم المعياري الدولي للكتاب14451336
معرّف المصادر الموحدhttp://dx.doi.org/10.5555/2460416.2460424
معرّف المصادر الموحدhttp://hdl.handle.net/10576/53801
الملخصAs a security mechanism, authorization or access control ensures that all accesses to the system resources occur exclusively according to the access polices and rules specified by the systemsecurity agent. Authorization specification has been extensively studied and a variety of approaches have been investigated. In this paper, we propose a knowledge oriented formal language to specify the system security policies and their reasoning in response to system resource access request. The semantics of our language is provided by translating our language into epistemic logic program in which knowledge related modal operators are employed to represent agents' knowledge in reasoning. We demonstrate how our authorization language handles the situation where the security agent's knowledge on access decision is incomplete.
اللغةen
الناشرAustralian Computer Society, Inc.
الموضوعAccess control
Authorization
Formal language
Intelligent systems
العنوانA modal logic for information system security
النوعArticle
الصفحات51-56
رقم المجلد116
dc.accessType Abstract Only


الملفات في هذه التسجيلة

الملفاتالحجمالصيغةالعرض

لا توجد ملفات لها صلة بهذه التسجيلة.

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة