Formal Aspects of Security and Trust

MLA

Degano, Pierpaolo, et al. Formal Aspects of Security and Trust. Springer Berlin Heidelberg, 2011.

APA

Degano, P., Etalle, S., Guttman, J., & Kanade, T. (2011). Formal Aspects of Security and Trust. Springer Berlin Heidelberg.

Chicago

Degano, Pierpaolo, Sandro Etalle, Joshua Guttman, and Takeo Kanade. Formal Aspects of Security and Trust. : Springer Berlin Heidelberg, 2011.