Book

Formal aspects in security and trust

by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider