Login / Signup

Formal Analysis and Verification of Embedded SIM Session Key Agreement Protocol.

Zhonglin DingYang HuWei LuoZhongming HuangJintao XueZhongyuan 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