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