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

Yoshiaki TAKATA  Hiroyuki SEKI  

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

Full Text: PDF(201.6KB)>>
Buy this Article

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.