Formal aspects in security and trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers - Hutchison, David (Lecture Notes in Computer Science,, 2009)