Take a photo of a barcode or cover
Read With Others
Book Information
221 pages • paperback • 3 editions
ISBN/UID: 9783642034589
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 03 Sep 2009
Description
The Joint Workshop on "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security" (ARSPA-WITS 2009) was held in York, UK, March 28-29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on "Automated...
Community Reviews
Content Warnings
221 pages • paperback
ISBN/UID: 9783642034589
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 03 Sep 2009
Description
The Joint Workshop on "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security" (ARSPA-WITS 2009) was held in York, UK, March 28-29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on "Automated...
Community Reviews
Content Warnings