الوصف
Provides The Reader With A Tutorial On Some Modern Techniques To Model And Automatically Analyze Security Protocols. The Tutorial Can Be Used As A Basis For A Master Or Graduate Course On The Topic, Or As A Primer For Researchers From Different Areas To Get An Overview Of The Kinds Of Techniques That Are Available.
تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
134 صفحات
لغة
الإنجليزية
منشور
نوفمبر 14, 2014
الناشر
Now Publishers Inc
الطبعة
Reprint
الطبعات
2 طبعات
رقم ISBN-10
1601989024
رقم ISBN-13
9781601989024