Movatterモバイル変換

Special Section on Formal Approach

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

Yoshiaki TAKATA, Hiroyuki SEKI

Author information

Yoshiaki TAKATA
Kochi University of Technology
Hiroyuki SEKI
Nara Institute of Science and Technology

Corresponding author

Keywords:history-based access control,stack inspection,shallow history automaton,expressive power

JOURNALFREE ACCESS

2009 Volume E92.DIssue 5Pages 1033-1036

DOIhttps://doi.org/10.1587/transinf.E92.D.1033

Details

Published: May 01, 2009Received: July 22, 2008Available on J-STAGE: May 01, 2009Accepted: -Advance online publication: -Revised: -

Download PDF(201K)

Download citationRIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text

How to download citation

Article overview

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.

References (11)

Movatterモバイル変換

Corresponding author

Register with J-STAGE for free!