C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Analysis and Verification of Embedded SIM Session Key Agreement Protocol.
Zhonglin Ding
Yang Hu
Wei Luo
Zhongming Huang
Jintao Xue
Zhongyuan Qin
Published in:
EITCE (2021)
Keyphrases
</>
formal analysis
key agreement protocol
formal methods
embedded systems
agent model
diffie hellman
ban logic
model checking
web services
knowledge representation
low cost
provably secure