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 / - Armando, Alessandro.; Lowe, Gavin. (Springer,)