3-Message NP Arguments in the BPK Model with Optimal Soundness and Zero-Knowledge.
Giovanni Di CrescenzoHelger LipmaaPublished in: ISAAC (2008)
Keyphrases
- computational model
- formal model
- prior knowledge
- conceptual model
- statistical model
- domain knowledge
- mathematical model
- probabilistic model
- knowledge acquisition
- knowledge base
- expert knowledge
- knowledge sources
- closed form
- expert systems
- optimal solution
- objective function
- worst case
- management system
- knowledge based systems
- theoretical analysis
- data model
- experimental data
- computational complexity
- high level
- data sets
- parameter values
- conceptual framework
- semantic models