A Verification Framework for Stateful Security Protocols.

Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong

Browse the full ICFEM paper archive.