MLA

Aldini, Alessandro, et al. Foundations of Security Analysis and Design Vi. Springer Berlin Heidelberg, 2011.

APA

Aldini, A., Gorrieri, R., Kanade, T., & Kittler, J. (2011). Foundations of Security Analysis and Design VI. Springer Berlin Heidelberg.

Chicago

Aldini, Alessandro, Roberto Gorrieri, Takeo Kanade, and Josef Kittler. Foundations of Security Analysis and Design VI. : Springer Berlin Heidelberg, 2011.