Login / Signup

A Verification Framework for Stateful Security Protocols.

Li LiNaipeng DongJun PangJun SunGuangdong BaiYang LiuJin Song Dong
Published in: ICFEM (2017)
Keyphrases
  • security protocols
  • automated design
  • software architecture
  • information systems