2010-04-21 7th International Workshop on Formal Aspects of Security & Trust (FAST2010) 16-17 September 2010 Pisa, Italia http://www.iit.cnr.it/FAST2010/