MLA
Pironti, Alfredo,et al. "Automated Formal Methods for Security Protocol Engineering." Cyber Security Standards, Practices and Industrial Applications: Systems and Methodologies, edited by Junaid Ahmed Zubairi and Athar Mahboob, IGI Global, 2012, pp. 138-166. http://doi:10.4018/978-1-60960-851-4.ch008
APA
Pironti, A., Pozza, D., & Sisto, R. (2012). Automated Formal Methods for Security Protocol Engineering. In Zubairi, J. A., & Mahboob, A. (Ed.), Cyber Security Standards, Practices and Industrial Applications: Systems and Methodologies (pp. 138-166). IGI Global. http://doi:10.4018/978-1-60960-851-4.ch008
Chicago
Pironti, Alfredo and Davide Pozza, and Riccardo Sisto. "Automated Formal Methods for Security Protocol Engineering." In Cyber Security Standards, Practices and Industrial Applications: Systems and Methodologies. edited by Junaid Ahmed Zubairi , and Athar Mahboob, 138-166. Hershey, PA: IGI Global, 2012. http://doi:10.4018/978-1-60960-851-4.ch008
Export Reference
