Semi-automated verification of security proofs of quantum cryptographic protocols.
Takahiro KubotaYoshihiko KakutaniGo KatoYasuhito KawanoHideki SakuradaPublished in: J. Symb. Comput. (2016)
Keyphrases
- cryptographic protocols
- automated verification
- formal verification
- model checking
- security properties
- automated reasoning
- security protocols
- standard model
- authentication protocol
- encryption decryption
- theorem proving
- insider attacks
- theorem prover
- private information retrieval
- database
- image compression
- information systems