Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers by Gilles Barthe | Menrva Books | MenrvaBooks