بررسی ضعف های امنیتی در پروتکلهای اینترنتی و ارایه راهکارهای مقاوم سازی آنها

پایان نامه
چکیده

پروتکل های امنیتی روی لایه tcp/ip قرار دارند . هر پروتکل امنیتی خود از اجزاء مختلفی تشکیل شده است که پروتکل دستداد یکی از آنها میباشد. .موضوع پایان نامه،ارزیابی صحت ادعای پروتکلهای دستداد در رسیدن به اهداف امنیتی است. عمل ارزیابی نیز، به کمک یک روش فرمال به نام روش استقرائی، انجام میگیرد. چند پروتکل امنیتی مطرح اینترنتی که قبلا" با روش فوق مورد ارزیابی قرار گرفته اند و ضعف های آنها آشکارشده اند را بعنوان عملکرد موثر این روش در کشف ضعف های امنیتی بیان می کنیم . نقاط ضعف آنها و منشاء این ضعف ها را تحلیل می کنیم، تا نهایتا" مبانی امنیتی که باید در طراحی پروتکل های دستداد مد نظر قرار گرفته و اعمال شوند مشخص گردند.جهت استفاده از مزایای پروتکلtlsدر محیط بیسیم، توسط rfc 3546)) پروتکل توسعه ای بنام (tls extensions)پیشنهاد شده است، هدف دیگر این تحقیق بررسی امنیتی این پروتکل می باشد.با توجه به اینکه پروتکل پیشنهادی، برخلاف پروتکل tls یک پروتکل ارتباطی (نقطه به نقطه) نیست، لذا از روش های فرمال و غیر فرمال برای ارزیابی امنیتی این پروتکل پیشنهادی استفاده می کنیم.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

بررسی کمی و کیفی پسماندهای شیمیایی خطرناک جهت ارایه راهکارهای کمینه سازی در پالایشگاه تهران

چکیده در این مطالعه پس از شناخت فرآیند تولید، نقاط تولید پسماند، نوع و حجم پسماندهای تولیدی و دوره تخلیه آن ها شناسایی شده است. همچنین طبقه‌بندی پسماندها و مواد شیمیایی براساس قانون [1]RCRA و کنوانسیون بازل، با اختصاص کدهای مخصوص به هر ماده و نحوه مدیریت ضایعات مورد بررسی قرار گرفت. به طور کلی متوسط پسماندهای تولیدی در منطقه مورد مطالعه 1750 تـن تخمین زده می شود که این مقدار 4/20 گرم به ازای ...

متن کامل

ارایه یک مدل و روش حل بازی‌های امنیتی فازی و کاربرد آن در آینده‌‌پژوهی تهدیدات امنیتی

تهدیدات جهانی تروریسم، قاچاق مواد مخدر و سایر جرایم، نیاز به استقرار منابع امنیتی محدود برای به حداکثر رساندن اثربخشی آنها را افزایش داده است. پیش‌بینی اقدامات آینده و بررسی تمام راهبردهای ممکن مهاجمان تأثیر زیادی در موفقیت نبرد دارد. نظریه بازی یکی از فنون آینده‌پژوهی محسوب می‌شود. در این مقاله به بررسی بازی‌های امنیتی در محیط فازی پرداخته شده است. بازی‌های امنیتی مدل رویارویی یک مدافع و چند ن...

متن کامل

بررسی چالش‏های امنیتی و چگونگی مقابله با آنها در شبکه ‏های نرم افزار محور

در سال‌های اخیر، شبکه‏های نرم افزار محور به منظور انعطاف و برنامه‏پذیری بیشتر در شبکه های کامپیوتری مطرح شده‌ و به سرعت در شبکه‏های زیر‏ساختی و مراکز داده به کار گرفته شده‌اند. استفاده از اینگونه شبکه‌ها مزایایی چون مقیاس پذیری، کاهش ترافیک کنترلی، استفاده بهینه از پهنای باند، مهندسی ترافیک بهتر و غیره را داراست؛ که همگی این مزایا ریشه در قابلیت برنامه‏پذیری این شبکه‌ها دارند. در کنار این مزایا...

متن کامل

بررسی کمی و کیفی پسماندهای شیمیایی خطرناک جهت ارایه راهکارهای کمینه سازی در پالایشگاه تهران

چکیده در این مطالعه پس از شناخت فرآیند تولید، نقاط تولید پسماند، نوع و حجم پسماندهای تولیدی و دوره تخلیه آن ها شناسایی شده است. همچنین طبقه بندی پسماندها و مواد شیمیایی براساس قانون [1]rcra و کنوانسیون بازل، با اختصاص کدهای مخصوص به هر ماده و نحوه مدیریت ضایعات مورد بررسی قرار گرفت. به طور کلی متوسط پسماندهای تولیدی در منطقه مورد مطالعه 1750 تـن تخمین زده می شود که این مقدار 4/20 گرم به ازای ...

متن کامل

ارزیابی عملکرد شهرکهای صنعتی و شناخت نقاط قوت و ضعف آنها در استان لرستان و ارائه راهکارهای اجرایی برای بهبود وضع آنها

شهرکهای صنعتی به دلیل نقش بسیار ارزنده و مهمی که در راستای ایجاد اشتغال، تعادل اقتصادی، استفاده از توانمندیها و پتانسیل‌های استانها و بهبود وضع صادرات در یک کشور دارند از اهمیت بسیاری برخوردارند. واحدهای صنعتی مستقر در شهرکهای صنعتی از حضور و فعالیت در آنها تأثیر پذیرفته و از ابعاد مختلفی می توان با بهره گیری از توانمندیهای موجود در شهرک های صنعتی برای بهبود واحدهای صنعتی تلاش کرد. در این نوش...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023