Chen, Q., Zhang, C., & Zhang, S. (2008). Secure Transaction Protocol Analysis: Models and Applications. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)Chen, Qingfeng, Chengqi Zhang, και Shichao Zhang. Secure Transaction Protocol Analysis: Models and Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
Παραπομπή σε μορφή MLA (8th εκδ.)Chen, Qingfeng, et al. Secure Transaction Protocol Analysis: Models and Applications. Springer Berlin Heidelberg, 2008.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.