Title: Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers
Subjects: Computer security, Cryptography, data processing, Computer networks, security measures