APA (7th ed.) Citation

Li, Q., Han, J., Yuan, L., Li, X., & Wang, X. (2025). Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM. Scientific Reports, 15(1), 1. https://doi.org/10.1038/s41598-025-93373-y

Chicago Style (17th ed.) Citation

Li, Qiang, Jihong Han, Lin Yuan, Xiangcheng Li, and Xiaoyu Wang. "Constructing Formal Models of Cryptographic Protocols from Alice&Bob Style Specifications via LLM." Scientific Reports 15, no. 1 (2025): 1. https://doi.org/10.1038/s41598-025-93373-y.

MLA (9th ed.) Citation

Li, Qiang, et al. "Constructing Formal Models of Cryptographic Protocols from Alice&Bob Style Specifications via LLM." Scientific Reports, vol. 15, no. 1, 2025, p. 1, https://doi.org/10.1038/s41598-025-93373-y.