A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System Pablo LAMILLA ALVAREZYoshiaki TAKATA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/05/01 Vol. E97-DNo. 5pp. 1149-1159 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Formal Verification Keyword: weighted pushdown systems, access control, model checking,