در بسیاری از کاربرد¬ها مهاجم، با کمک یا بدون کمک یک برچسب rfid که در فاصله مجاز قرار ندارد، قرائتگر را متقاعد می¬کند که او را تصدیق اصالت کند، برای مقابله با این حملات پروتکل¬هایی مرسوم به محدودیت فاصله ارائه شده¬اند. در این پروژه امنیت دو پروتکل محدودیت فاصله که اخیراً توسط جنتی و فلاحتی (پروتکل jf) و گورل و همکاران (پروتکل gaa) پیشنهاد شده¬اند را بررسی می¬کنیم و اثبات می¬کنیم که این دو پروتک...

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

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

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

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

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

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

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

واژه ایمان و مشتقاتش در بیش از هفتصد آیۀ قرآن یاد شده است که این خود اهمیت این واژه را در جهان‌بینی قرآن نشان می‌دهد. بررسی تغییر معنای ایمان با توجه به دیدگاه افراد و با استفاده از نظریۀ شبکه شعاعی در معناشناسی شناختی به سازمان‌دهی معانی متفاوت ایمان کمک می‌کند. شبکۀ شعاعی مدل گرافیکی برای سازمان‌دادن معانی متفاوت یک واژه درباره یک معنای مرکزی است که به آن معنای مرکزی، پیش‌نمونه می‌گویند. مبنا...

این پژوهش به بررسی و تبیین عناصر متشکله جرم «تخلف از مقررات قانونی ناظر به بررسی و اظهارنظر یا تهیه گزارش مالی، فنی یا اقتصادی یا هرگونه تصدیق مستندات و اطلاعات» به‌عنوان ‌یکی از مهم‌ترین جرایم بورسی پرداخته است. «تخلف از مقررات قانونی راجع به بررسی و اظهارنظر یا تهیه گزارش مالی، فنی یا اقتصادی در خصوص اطلاعات و اسناد قابل‌ارائه به سازمان» و نیز «تخلف در تصدیق مستندات و اطلاعات قابل‌ارائه به سا...