克雷默斯 & 毛弗. (2018). 安全协议操作语义与验证: Operational semantics and verification of security protocols. 电子工业出版社.
শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি克雷默斯 এবং 毛弗. 安全协议操作语义与验证: Operational Semantics and Verification of Security Protocols. 电子工业出版社, 2018.
M.L.A (8 ম সংস্করণ) উদ্ধৃতি克雷默斯 এবং 毛弗. 安全协议操作语义与验证: Operational Semantics and Verification of Security Protocols. 电子工业出版社, 2018.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.