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

Yoshiaki TAKATA  Hiroyuki SEKI 

Publication
IEICE TRANSACTIONS on Information and Systems  Vol.E92-D  No.5  pp.1033-1036
Publication Date: 2009/05/01
Online ISSN: 1745-1361
Print ISSN: 0916-8532
Type of Manuscript: Special Section LETTER (Special Section on Formal Approach)
Category: 
Keyword: 
history-based access control,  stack inspection,  shallow history automaton,  expressive power, 

Full Text: PDF(200.8KB)

Summary: 
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.