Li, L., Sun, J., Liu, Y., Sun, M., Dong, J., & Engineering, S. o. C. S. a. (2020). A formal specification and verification framework for timed security protocols.

Li, Li, Jun Sun, Yang Liu, Meng Sun, Jin-Song Dong, و School of Computer Science and Engineering. A Formal Specification and Verification Framework for Timed Security Protocols. 2020.

Li, Li, et al. A Formal Specification and Verification Framework for Timed Security Protocols. 2020.