Formalizing provable anonymity in Isabelle/HOL.
Yongjian LiJun PangPublished in: Formal Aspects Comput. (2015)
Keyphrases
- theorem prover
- natural deduction
- inference rules
- theorem proving
- first order logic
- higher order logic
- ring signature scheme
- cut elimination
- sequent calculus
- anonymous communication
- privacy protection
- location privacy
- individual privacy
- database
- payment scheme
- data publishing
- linear logic
- electronic cash
- wireless sensor networks
- learning algorithm