Login / Signup
A Verification Framework for Stateful Security Protocols.
Li Li
Naipeng Dong
Jun Pang
Jun Sun
Guangdong Bai
Yang Liu
Jin Song Dong
Published in:
ICFEM (2017)
Keyphrases
</>
security protocols
automated design
software architecture
information systems