Formal Aspects in Security and Trust

MLA

Dimitrakos, Theo, et al. Formal Aspects In Security and Trust. Springer Berlin / Heidelberg, 2006.

APA

Dimitrakos, T., Kanade, T., Martinelli, F., Ryan, P. Y. A, & Schneider, S. (2006). Formal Aspects in Security and Trust. Springer Berlin / Heidelberg.

Chicago

Dimitrakos, Theo, Takeo Kanade, Fabio Martinelli, Peter Y. A Ryan, and Steve Schneider. Formal Aspects In Security and Trust. : Springer Berlin / Heidelberg, 2006.