Formal Aspects of Security and Trust

MLA

Hutchison, David, et al. Formal Aspects of Security and Trust. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Datta, A., & Etalle, S. (2012). Formal Aspects of Security and Trust. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Anupam Datta, and Sandro Etalle. Formal Aspects of Security and Trust. : Springer Berlin Heidelberg, 2012.