Formal aspects in security and trust Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers / - Dimitrakos, Theo. (Springer,)