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, Mar. 28-29, 2009: rev. sel. papers / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.