Anonymous Proof-of-Asset Transactions Using Designated Blind Signatures.
Neetu SharmaRajeev Anand SahuVishal SaraswatJoaquín García-AlfaroPublished in: FPS (2020)
Keyphrases
- peer to peer
- theorem proving
- database
- theorem prover
- signature recognition
- transactional data
- payment scheme
- transaction processing
- electronic transactions
- signature verification
- reputation mechanisms
- natural deduction
- transaction model
- credit card
- transaction data
- signature scheme
- inference rules
- mathematical proofs