Computational soundness of symbolic zero-knowledge proofs.
Michael BackesDominique UnruhPublished in: J. Comput. Secur. (2010)
Keyphrases
- knowledge base
- knowledge acquisition
- domain experts
- domain knowledge
- knowledge extraction
- expert systems
- knowledge management
- computational power
- computational chemistry
- knowledge representation
- knowledge discovery
- high level
- genetic algorithm
- human experts
- expert knowledge
- mathematical programming
- intermediate level
- symbolic knowledge