Login / Signup

Static Evaluation of Noninterference Using Approximate Model Counting.

Ziqiao ZhouZhiyun QianMichael K. ReiterYinqian Zhang
Published in: IEEE Symposium on Security and Privacy (2018)
Keyphrases
  • model counting
  • weighted model counting
  • knowledge base
  • natural language