Rogue-Instance Security for Batch Knowledge Proofs.

Gil Segev Amit Sharabi Eylon Yogev

Published in: TCC (1) (2023)

Keyphrases

domain knowledge
knowledge representation
access control
knowledge base
knowledge based systems
higher level
security policies
security issues
knowledge extraction
computer security
theorem prover
inference rules
network security
information security
background knowledge
design process
knowledge management