Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers - Dimitrakos, Theo; Martinelli, Fabio; Ryan, Peter Y. A.; Schneider, Steve (Springer Berlin Heidelberg, 2007)