SpringerLink (Online service), Armando, A., & Lowe, G. (2010). Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Alessandro Armando, και Gavin Lowe. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers. Springer Berlin Heidelberg, 2010.
