Formal Aspects in Security and Trust : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers - Pierpaolo Degano, Joshua Guttman, Fabio Martinelli ((Lecture Notes in Computer Science))