Formal Aspects in Security and Trust : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers - Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider ((Lecture Notes in Computer Science))