刘怡文 & 李伟琴. 网络支付协议的形式化安全需求及验证逻辑. Editorial Department of Journal on Communications.
Chicago Style (17th ed.) Citation刘怡文 and 李伟琴. 网络支付协议的形式化安全需求及验证逻辑. Editorial Department of Journal on Communications.
MLA (9th ed.) Citation刘怡文 and 李伟琴. 网络支付协议的形式化安全需求及验证逻辑. Editorial Department of Journal on Communications.
Warning: These citations may not always be 100% accurate.