Confidentiality-preserving proof theories for distributed proof systems.
Kazuhiro MinamiNikita BorisovMarianne WinslettAdam J. LeePublished in: AsiaCCS (2011)
Keyphrases
- distributed systems
- theorem prover
- distributed architecture
- neural network
- real time
- distributed object
- learning systems
- computing systems
- cooperative
- management system
- theorem proving
- mission critical
- autonomous mobile
- natural deduction
- distributed computation
- computational models
- knowledge based systems
- computer systems
- digital libraries