Sign in
Static Evaluation of Noninterference Using Approximate Model Counting.
Ziqiao Zhou
Zhiyun Qian
Michael K. Reiter
Yinqian Zhang
Published in:
IEEE Symposium on Security and Privacy (2018)
Keyphrases
</>
model counting
weighted model counting
knowledge base
natural language