Pablo LAMILLA ALVAREZ


A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System
Pablo LAMILLA ALVAREZ Yoshiaki TAKATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5  pp. 1149-1159
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Verification
Keyword: 
weighted pushdown systemsaccess controlmodel checking
 Summary | Full Text:PDF(886.3KB)