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

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

Formal Models and Techniques for Analyzing Security Protocols

نویسنده: Veronique Cortier, Steve Kremer

ناشر: Ios Pr Inc

سال انتشار: 2011

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

زبان: English

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

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