This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.
