Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic.
Wouter TeepePublished in: Synth. (2006)
Keyphrases
- proof theory
- linear logic
- natural deduction
- proof search
- proof theoretic
- cut elimination
- higher order logic
- multi valued
- sequent calculus
- theorem prover
- computational properties
- classical logic
- modal logic
- automated reasoning
- logical rules
- computer algebra
- automated theorem proving
- logic programming
- automated theorem provers
- sequent calculi
- logical framework
- default reasoning
- proof procedure
- deontic logic
- truth values
- relational structures
- security protocols
- theorem proving
- information retrieval