Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, march 27-28, 2010. Revised selected papers (2010)