Login / Signup

A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space.

Yongjian LiHongjian JiangYongxin Zhao
Published in: TASE (2024)
Keyphrases
  • operational semantics
  • security protocols
  • secure communication
  • automated design
  • authentication protocol
  • formal semantics
  • database
  • key management
  • data model
  • mental states
  • artificial immune algorithm