
Formal Aspects of Security and Trust
Pierpaolo Degano, Sandro Etalle, Joshua Guttman
₹5,508

6th International Workshop, FAST 2009 Eindhoven, The Netherlands, November 5-6, 2009 Revised Selected Papers
by Pierpaolo Degano, Joshua D. Guttman
Free delivery. Nothing extra to pay at checkout.
The present volume contains the proceedings of the 6th International workshop on Formal Aspects of Security and Trust (fast 2009), held in Eindhoven, The Netherlands, 5-6 November 2009, as part of Formal Methods Week 2009. fast is sponsored by IFIP WG 1.7 on Foundations of Security Analysis and Design.
Description supplied by the publisher.