Browsing Computer Science & Engineering by Publisher "Australian Computer Society, Inc."

Now showing items 1-1 of 1

    • A modal logic for information system security 

      Bai, Yun; Khan, Khaled M. ( Australian Computer Society, Inc. , 2011 , Article)
      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 ...