APA (7th ed.) Citation

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 Style (17th ed.) Citation

SpringerLink (Online service), Alessandro Armando, and 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 ed.) Citation

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.