Alessandro Armando and Gavin Lowe, "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security"
Sp,,,,er | 2011 | ISBN: 3642160735 | 185 pages | PDF | 2 MB
Sp,,,,er | 2011 | ISBN: 3642160735 | 185 pages | PDF | 2 MB
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.