Modeling for Security Verification of a Cryptographic Protocol with MAC Payload. - Huanbao Wang; Yousheng Zhang; Yuan Li (ICIC (2), 2005)

A Diagram of Strand Spaces for Security Protocols. - Huanbao Wang; Yousheng Zhang; Yuan Li (J. Comput. Res. Dev., 2006)