Login / Signup
Automated Verification of Equivalence on Quantum Cryptographic Protocols.
Takahiro Kubota
Yoshihiko Kakutani
Go Kato
Yasuhito Kawano
Hideki Sakurada
Published in:
SCSS (2013)
Keyphrases
</>
smart card
authentication protocol
cryptographic protocols
automated verification
model checking
automated reasoning
formal verification
graph theory
artificial intelligence
knowledge representation
database
real time