APA (7th ed.) Citation

Chao, F., Quan, Z., & Chao-jing, T. Computationally sound mechanized proofs for Diffie-Hellman key exchange protocols. Editorial Department of Journal on Communications.

Chicago Style (17th ed.) Citation

Chao, FENG, ZHANG Quan, and TANG Chao-jing. Computationally Sound Mechanized Proofs for Diffie-Hellman Key Exchange Protocols. Editorial Department of Journal on Communications.

MLA (9th ed.) Citation

Chao, FENG, et al. Computationally Sound Mechanized Proofs for Diffie-Hellman Key Exchange Protocols. Editorial Department of Journal on Communications.