Login / Signup
A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System.
Pablo Lamilla Álvarez
Yoshiaki Takata
Published in:
IEICE Trans. Inf. Syst. (2014)
Keyphrases
</>
formal verification
model checking
domain knowledge
end users
structural information
information sources
information processing
contextual information
data sets
information retrieval
keywords
information extraction
higher level
user interaction
information sharing