Foundations and applications of security analysis : joint workshop on automated reasoning for security protocol analysis and issues in the theory of security, ARSPA-WITS 2009 : York, UK, March 28-29, 2009 : revised selected papers. : ARSPA : WITS : Mar 2009, York, UK.