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