Constitutes the refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security & Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security.