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

اگرچه روشهای تحلیل منطقی و روشهای ساخت حمله، دو رویکرد کلی در زمینه تحلیل پروتکل های رمزنگاری است، اما اغلب برای تحلیل پروتکل ها، به کارگیری توام آنها مناسبتر است. در این مقاله، یک چارچوب عمومی برای یکپارچه سازی تحلیل امنیت پروتکل های رمزنگاری ارایه شده است. بر اساس این چارچوب می توان روشهایی تحلیلی ارایه کرد که در آنها وارسی وجود ویژگیهای امنیتی در پروتکل، همراه با وارسی وجود سناریوهای نقض ویژ...

از زمانی که در شبکه جهانی اینترنت قابلیت های مناسبی، برای تولید و انتشار اطلاعات فراهم شده است، وب به ابزار مناسبی برای ذخیره و بازیابی اطلاعات تبدیل گشته است. این محیط دارای میلیاردها صفحه وب، هریک با موضوع خاصی شکل گرفته اند، است. برای بازیابی اطلاعات در این محیط ابزارها و راهبردهای متفاوتی وجود دارد که موتورهای کاوش متداول ترین ابزار مورد استفاده توسط کاربران این محیط است. موتورهای کاوش امکا...

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

عمل فشرده‌سازی ویدیو با بهره‌گیری از افزونگی زمانی و فضایی موجود در رشته ویدیو انجام می‌گیرد. این افزونگی‌ها را می‌توان به ترتیب با اعمال یک تبدیل، تخمین و جبران‌سازی حرکت و کوانتیزاسیون به‌گونه‌ای کارآمد جبران‌سازی نمود. استانداردهای موجود برای فشرده‌سازی ویدیو مانند MPEG مبتنی بر تبدیل کسینوسی بلوکی می‌باشند که در آن تصویر ورودی باید به ‌صورت بلوک‌هایی درآید. بنابراین همبستگی در عرض مرزهای بل...

عمل فشرده‌سازی ویدیو با بهره‌گیری از افزونگی زمانی و فضایی موجود در رشته ویدیو انجام می‌گیرد. این افزونگی‌ها را می‌توان به ترتیب با اعمال یک تبدیل، تخمین و جبران‌سازی حرکت و کوانتیزاسیون به‌گونه‌ای کارآمد جبران‌سازی نمود. استانداردهای موجود برای فشرده‌سازی ویدیو مانند MPEG مبتنی بر تبدیل کسینوسی بلوکی می‌باشند که در آن تصویر ورودی باید به ‌صورت بلوک‌هایی درآید. بنابراین همبستگی در عرض مرزهای بل...

شبکه های موردی شبکه هایی هستند که به طور تصادفی ایجاد شده و هیچ گونه زیر ساختی برای ایجاد این شبکه ها موجود نمی باشد. امروزه این گونه شبکه ها کاربردهای فراوان یافته اند؛ به همین دلیل تحقیقات فراوانی هم در این مورد انجام گرفته و در حال انجام است. برای ارتباط بین گره ها در شبکه های موردی نیاز به پروتکل هایی مسیریابی می باشد که ارتباط بین گره ها را برقرار نمایند. بدلیل اینکه این شبکه ها از محیط ها...

مدیریت جابجایی و تأمین امنیت ارتباطات به طوری که ارتباط امن کاربر سیار حین جابجایی قطع نشود، همواره دو موضوع مهم در شبکه های بی سیم بوده اند. راه حل هایی که ارتباطات کاربر سیار، بین شبکه ی مورد اعتماد داخلی و شبکه ی غیرقابل اعتماد خارجی را به طور امن فراهم می آورند، اصطلاحاً شبکه های vpn سیار نام دارند. ietf برای چنین حالاتی که هم امکان جابجایی و هم امنیت داده های یک کاربر سیار فراهم شود، دو معم...

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

امروزه شبکه های اینترنت و مخابرات تلفنی بعنوان زیر ساختهای عمده ارتباطات مطرح هستند. در سالهای اخیر این دو تکنولوژی در مسیر رشد خود در حوزه های بسیاری به هم نزدیک شده اند. تلاشهای صورت گرفته برای یکپارچه سازی شبکه ارتباطات جهانی, منجر به پیدایش مفاهیمی از قبیل شبکه نسل آتی شده است که مجموعه ای از ایده هایی برای تلفیق شبکه های ارتباطی غیر همسان می باشد. از دیگر سو, رشد و گسترش فناوری ارتباطا...