Login / Signup
Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover.
Misato Nakabayashi
Yuki Okano
Published in:
ASSS@AsiaCCS (2021)
Keyphrases
</>
key exchange
verification method
security analysis
model checking
temporal logic
diffie hellman
key distribution
digital signature
secure communication
data management
database design
public key