دانلود کتاب Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

توضیحاتی در مورد کتاب Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

نام کتاب : Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : مبانی و کاربردهای تحلیل امنیتی: کارگاه مشترک استدلال خودکار برای تجزیه و تحلیل پروتکل های امنیتی و مسائل در تئوری امنیت، ARSPA-WITS 2009، یورک، انگلستان، 28-29 مارس 2009، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 5511 : Security and Cryptology
نویسندگان : Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2009
تعداد صفحات : 231
ISBN (شابک) : 9783642034589 , 3642034586
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت