Secure Channel Injection and Anonymous Proofs of Account Ownership.

Liang Wang Rafael Pass Abhi Shelat Thomas Ristenpart

Published in: IACR Cryptol. ePrint Arch. (2016)

Keyphrases

covert channel
digital signature scheme
security requirements
theorem proving
theorem prover
communication channels
security issues
electronic transactions
multi channel
electronic commerce
security analysis
channel coding
security level
mathematical proofs