Comparison of the Expressive Power of Language-Based Access Control Models

• TAKATA Yoshiaki

  Kochi University of Technology

• SEKI Hiroyuki

  Nara Institute of Science and Technology

Abstract

This paper compares the expressive power of five language-based access control models. We show that the expressive powers are incomparable between any pair of history-based access control, regular stack inspection and shallow history automata. Based on these results, we introduce an extension of HBAC, of which expressive power exceeds that of regular stack inspection.

Journal

• IEICE Transactions on Information and Systems

  IEICE Transactions on Information and Systems E92-D (5), 1033-1036, 2009

  The Institute of Electronics, Information and Communication Engineers

Keywords

• history-based access control
• stack inspection
• shallow history automaton
• expressive power

Details

• CRID: 1390001204378300800
• NII Article ID: 10026809360
• NII Book ID: AA10826272
• DOI: 10.1587/transinf.e92.d.1033
• ISSN: 17451361
• ISSN: 09168532
• Web Site: http://hdl.handle.net/10173/676
• Web Site: http://www.jstage.jst.go.jp/article/transinf/E92.D/5/E92.D_5_1033/_pdf
• Text Lang: en
• Data Source:
  • JaLC
  • IRDB
  • Crossref
  • CiNii Articles
• Abstract License Flag: Disallowed