A modal logic for authorization specification and reasoning

    Research output: Chapter in Book / Conference PaperConference Paperpeer-review

    2 Citations (Scopus)

    Abstract

    ![CDATA[Authorization policies provide access control to the system resource. This paper proposes a formal modal logic approach for the specification and reasoning about authorizations. Especially we investigate and handle the situation where the security agent's knowledge is not specific and the decisions for accessing the system resource are to be made based on the agent's knowledge. We introduce modal logic to specify and reason about security policies, then translate the domain into an epistemic logic program. We also present a case study to demonstrate the proposed approach. This approach has an expressive power to describe a variety of complex security scenarios.]]
    Original languageEnglish
    Title of host publicationProceedings of the 2009 IEEE International Conference on Intelligent Computing and Intelligent Systems (ICIS 2009): Shanghai, China, 20-22 November 2009
    PublisherIEEE
    Pages264-268
    Number of pages5
    ISBN (Print)9781424447541
    DOIs
    Publication statusPublished - 2009
    EventIEEE International Conference on Intelligent Computing and Intelligent Systems -
    Duration: 20 Nov 2009 → …

    Conference

    ConferenceIEEE International Conference on Intelligent Computing and Intelligent Systems
    Period20/11/09 → …

    Fingerprint

    Dive into the research topics of 'A modal logic for authorization specification and reasoning'. Together they form a unique fingerprint.

    Cite this