You are about to access our book library "Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5491) full version" .