Summary and Info
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.
More About the Author
Flemming Gert Nielsen, known simply as Flemming Nielsen, (born 24 February 1934) is a Danish former football player in the midfielder position, who won a silver medal with the Denmark national football team at the 1960 Summer Olympics.
Review and Comments
Rate the Book
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 0 out of 5 stars based on 0 ratings.