خرید و دانلود نسخه کامل کتاب Formal Models and Techniques for Analyzing Security Protocols

مدل ها و روش های رسمی برای تجزیه و تحلیل پروتکل های امنیتی

Formal Models and Techniques for Analyzing Security Protocols

نویسنده: V. Cortier, S. Kremer

ناشر: IOS Press

سال انتشار: 2011

تعداد صفحات: 335

زبان: English

فرمت: epub - قابل تبدیل به سایر فرمت ها

حجم فایل: 5 مگابایت