پروتکل های امنیتی روی لایه tcp/ip قرار دارند . هر پروتکل امنیتی خود از اجزاء مختلفی تشکیل شده است که پروتکل دستداد یکی از آنها میباشد. .موضوع پایان نامه،ارزیابی صحت ادعای پروتکلهای دستداد در رسیدن به اهداف امنیتی است. عمل ارزیابی نیز، به کمک یک روش فرمال به نام روش استقرائی، انجام میگیرد. چند پروتکل امنیتی مطرح اینترنتی که قبلا" با روش فوق مورد ارزیابی قرار گرفته اند و ضعف های آنها آشکارشده اند...

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

شهر یزد و بافت قدیمی آن در میان سایر شهرهای ایران واجد ویژگی هایی است که آن را از سایر شهرها متمایز ساخته است. تنوع بیشمار بادگیرهای یزد یکی از عوامل مهم جذابیت سیمای شهر یزد می باشد. بادگیرهای یزد با کالبدهای متنوعی در سیمای شهر جلوه¬گر شده¬اند و از این رو در این مقاله به بررسی گونه شناسانه آن ها پرداخته شده است. تحقیق با برداشت های میدانی انجام پذیرفته و نقشه¬های ارائه شده از بادگیرها (پلان...

در این پژوهش به تحلیل فرمال نمابندی های هایائو میازاکی، کارگردان برجست? ژاپنی پرداخته شده و سعی شده از جهات کمّی و کیفی، سبک و شیو? او در تعیین نماها بررسی شود. این پژوهش با کالبدشکافی سه اثر از میازاکی شکل گرفته و برای این کار، تمام فریم های هر اثر مورد استفاده قرار گرفته اند. آثار مورد مطالعه عبارتند از: شهر اشباح (2001)، قلع? متحرک هاول (2004) و باد می وزد (2013)