海量图书期刊资源,随时随地畅享阅读乐趣
A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown SystemLAMILLA ALVAREZ, Pablo; TAKATA, Yoshiaki · IEICE Transactions on Information and Systems · 2014