Download or read book Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security written by Alessandro Armando and published by Springer Science & Business Media. This book was released on 2010-10-08 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.