خرید و دانلود نسخه کامل کتاب Operational Semantics and Verification of Security Protocols

معناشناسی عملیاتی و تأیید پروتکل های امنیتی

Operational Semantics and Verification of Security Protocols

نویسنده: Cas Cremers, Sjouke Mauw (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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