SMT-Based Verification of NGAC Policies.

Vladislav Dubrovenski Erzhuo Chen Dianxiang Xu

Published in: COMPSAC (2023)

Keyphrases

statistical machine translation
optimal policy
model checking
information systems
dynamic programming
formal verification
real time
data sets
signature verification
asynchronous circuits
verification method
website
information extraction
person identification