![](/img/cover-not-exists.png)
A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System
LAMILLA ALVAREZ, Pablo, TAKATA, YoshiakiVolume:
E97.D
Year:
2014
Language:
english
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.e97.d.1149
File:
PDF, 887 KB
english, 2014