Toward dynamic epistemic verification of zero-knowledge protocols.
Gabriele CostaCosimo Perini BrogiPublished in: ITASEC (2024)
Keyphrases
- knowledge management
- knowledge base
- learning systems
- cryptographic protocols
- knowledge acquisition
- dynamic environments
- knowledge discovery
- domain knowledge
- expert systems
- prior knowledge
- information systems
- higher level
- association rules
- model checking
- knowledge sharing
- knowledge extraction
- multi agent
- epistemic logic
- asynchronous circuits