چطور این مقاله مهندسی کامپیوتر و IT را دانلود کنم؟
فایل انگلیسی این مقاله با شناسه 2008138 رایگان است. ترجمه چکیده این مقاله مهندسی کامپیوتر و IT در همین صفحه قابل مشاهده است. شما می توانید پس از بررسی این دو مورد نسبت به خرید و دانلود مقاله ترجمه شده اقدام نمایید
حجم فایل انگلیسی :
261 Kb
حجم فایل فارسی :
218 کیلو بایت
نوع فایل های ضمیمه :
pdf+word
کلمه عبور همه فایلها :
www.daneshgahi.com
عنوان فارسي
تحلیل امنیتیِ پروتکلهای پرداخت الکترونیکیِ مبتنی بر رمزنگاری کوانتومی
عنوان انگليسي
Security Analysis of Electronic Payment Protocols Based on Quantum Cryptography
نویسنده/ناشر/نام مجله
IEEE, Information Science and Control Engineering
این مقاله چند صفحه است؟
این مقاله ترجمه شده مهندسی کامپیوتر و IT شامل 4 صفحه انگلیسی به صورت پی دی اف و 12 صفحه متن فارسی به صورت ورد تایپ شده است
چکیده
مروزه به منظور تضمین امنیت تراکنش‌هایی که در دنیای تجارت الکترونیک صورت می‌گیرد، پروتکلهای پرداخت الکترونیکی نقش بسیار مهمی را بازی می‌کنند. در حال حاضر پروتکلهای پرداخت الکترونیکی که مبتنی بر مسائل ریاضی پیچیده‌ای هستند در مواجهه با سیستم‌های کامپیوتری کوانتومی بسیار آسیب پذیر هستند. به منظور بهبود امنیت این پروتکل‌ها در برابر کامپیوترهای کوانتومی، باید از رمزنگاری کوانتومی در پروتکلهای پرداخت الکترونیک استفاده کرد. البته خاطر نشان شده است که رمزنگاری کوانتومی بدون هیچ قید و شرطی ایمن بوده و پدیدار شدن معایب منطقی می‌تواند منجر به بروز مسائلی جدی در آن شود. در همین راستا از یک تحلیل رسمی برای بررسی امنیت پروتکلهای پرداخت الکترونیکی که مبتنی بر رمزنگاری کوانتومی هستند استفاده می‌کنیم. روش‌های رسمی تحلیل می‌توانند به کشف آسیب‌پذیری‌های موجود در پروتکل پرداخته و به ما در بهبود امنیت این پروتکل‌ها کمک نمایند. در این مقاله قصد داریم به تحلیل یک پروتکل پرداخت الکترونیکیِ مبتنی بر رمزنگاری کوانتومی بپردازیم؛ نتایجی که به دست آمده است نشان می‌دهد که این پروتکل حتی در صوت بکار گیری رمزنگاری کوانتومی ایمن و آن‌هم بدون قید و شرط، ایمن نخواهد بود. یافته‌ایم که مشخصه های انصاف و پاسخگویی نیز در این پروتکل‌ها نقض شده است. در ادامه به ارائه‌ی یک پروتکل بهبود یافته برای تضمین دو مشخصه‌ی انصاف و پاسخگویی در پروتکل می‌پردازیم و صحت آن را از طریق یک روش رسمی تحلیلی بررسی خواهیم کرد.
1-مقدمه
با ظهور سیستم‌های کامپیوتری و ارتباطات الکترونیکی، علم تجارت الکترونیکی نیز به فعالیت روز مره‌ی میلیون‌ها انسان مبدل گردیده است. افراد می‌توانند فعالیت‌های تجاری الکترونیکی خود را تا زمانی که اینترنت وجود دارد اجرایی نمایند. برای رسیدن به تجارت الکترونیک ایمن و آسان، سیستم‌های پرداخت الکترونیکی بسیاری ارائه گردیده است. در کنار این‌ها، سیستم‌های پرداخت آنلاین نیز بسیار مورد توجه قرار گرفته‌اند چرا که از طیف کاربردی گسترده‌ای در حوزه‌ی خریدهای اینترنتی و بانکداری برخوردار می‌باشند. همچنین توجه زیادی به مسائل امنیتی در فعالیت‌های تجارت الکترونیکی وجود دارد...
پروتکل پرداخت الکترونیک رمزنگاری کوانتومی
:کلمات کلیدی
Abstract
Electronic payment protocols play a vital role in electronic commerce to ensure the security of transaction process. Current electronic payment protocols based on complex mathematical problems will be vulnerable facing a quantum computer. In order to enhance the security against quantum computers, quantum cryptography is introduced into electronic payment protocols. Although the quantum cryptography is claimed to be unconditionally secure, Logical defects are still likely to cause serious problems. We introduced formal analysis to verify the security of electronic payment protocols based on quantum cryptography. Formal analysis methods can discover the vulnerabilities of protocols and help to improve the security of protocols. In this paper, we analyze an electronic payment protocol based on quantum cryptography and the result shows that the protocol is not secure even adopting unconditionally secure quantum cryptography. We found that both the accountability and fairness of the original protocol are not satisfied. Then we proposed an improved protocol to meet the requirement of accountability and fairness and verified it through formal analysis method.
Keywords:
Protocols Quantum cryptography Quantum computing
سایر منابع مهندسی کامپیوتر و IT-فناوری اطلاعات در زمینه پرداخت الکترونیک