Procs 5th International Workshop on Formal Aspects in Security and Trust (FAST2008)