Algebra and logic for access control

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

The access control problem in computer security is fundamentally concerned with the ability of system entitites to see, make use of, or alter various system resources. As such, many access control situations are essentially problems of concurrency. We give an account of fundamental situations in access-control in distributed systems using a resource-based process calculus and a hybrid of Hennessy-Milner and resource logic. This yields a consistent account of operational behaviour and logical reasoning for access control, that includes an analysis of co-signing, roles and chains-of-trust.
Original languageEnglish
Pages (from-to)83-104
Number of pages22
JournalFormal Aspects of Computing
Volume22
Issue number2
DOIs
Publication statusPublished - Mar 2010

Keywords

  • access control
  • role
  • systems modelling
  • process calculus
  • resource
  • logic

Fingerprint Dive into the research topics of 'Algebra and logic for access control'. Together they form a unique fingerprint.

  • Cite this