دانلود کتاب Formal Correctness of Security Protocols (به فارسی: صحت رسمی پروتکل های امنیتی) نوشته شده توسط «Giampaolo Bella»
اطلاعات کتاب صحت رسمی پروتکل های امنیتی
موضوع اصلی: 1
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Giampaolo Bella
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 274
حجم کتاب: 5 مگابایت
کد کتاب: 3540681345 , 978-3-540-68134-2
توضیحات کتاب صحت رسمی پروتکل های امنیتی
امنیت شبکه کامپیوتری برای پیشگیری از تقلب و پاسخگویی بسیار مهم است. شرکت‌کنندگان شبکه ملزم به رعایت مراحل از پیش تعریف‌شده به نام پروتکل‌های امنیتی هستند، که اثبات صحت آن‌ها شواهدی است مبنی بر اینکه هر مرحله پروتکل برخی از ویژگی‌های مورد نظر را حفظ می‌کند. نویسنده شواهد صحت پروتکل‌های امنیتی واقعی را در یک محیط رسمی و بصری بررسی می‌کند. پروتکل‌های مورد بررسی شامل نسخه‌های Kerberos، پروتکل‌های کارت هوشمند، پروتکل‌های غیر انکار و پروتکل‌های ایمیل تایید شده هستند. روش تحلیل، روش استقرایی در قضیه اثبات ایزابل، هم قدرتمند و هم انعطاف پذیر است. این تحقیق به گسترش قابل توجهی در روش تجزیه و تحلیل می‌پردازد، در حالی که یافته‌های مربوط به پروتکل‌های تحلیل‌شده جدید و روشن‌کننده هستند. این کتاب برای محققان و دانشجویان فارغ‌التحصیل در زمینه‌های روش‌های رسمی، امنیت اطلاعات، روش‌های استقرایی و شبکه مفید خواهد بود.
دانلود کتاب «صحت رسمی پروتکل های امنیتی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.