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

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

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

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

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

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

این پژوهش با هدف بررسی روابط درونی بین سازه های مدل پذیرش فناوری دیویس انجام گرفت. به این منظور یک نمونه 133 نفری از  دانشجویان ترم اول رشته کامپیوتر در مقطع کاردانی به طور خوشه ای انتخاب شدند و بعد از شش هفته آموزش به پرسشنامه tam،که از پژوهش های گاردنر و آموروسو (2004) و کلوپینگ و مک کنی (2004) اقتباس شده بود، پاسخ دادند. نتایج نشان دادند که ضریب مسیر سهولت ادراک شده کاربرد اینترنت بر سودمندی...

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

هدف از پژوهش حاضر مقایسة سه پروتکل تمرینی زیربیشینة کم خطر بر آورد کنندة عامل آمادگی قلبی – عروقی نسبی در مردان کم تحرک و توسعة معادلات جدید برای این سه پروتکل است. به همین منظور, 150 نفر از مردان کم تحرک به صورت داوطلبانه و به ترتیب با میانگین و انحراف معیار سن, قد, وزن و شاخص تودة بدن 15/10 ± 19/45 سال, 62/7 ± 33/172 سانتیمتر, 27/11 ± 86/70 کیلوگرم و 15/3 ± 86/23 کیلوگرم بر مترمربع در این پژو...

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