ساخت پاوپوینت با هوش مصنوعی
کم تر از 5 دقیقه با هوش مصنوعی کافه پاورپوینت ، پاورپوینت بسازید
برای شروع ساخت پاورپوینت کلیک کنید
شما در این مسیر هستید :خانه / محصولات / Powerpoint / دانلود پاورپوینت آشنایی با مفهوم دانایی صفر و بررسی روش های استفاده از پروتکل های دانایی صفر (کد14971)
سفارش انجام پاورپوینت - بهترین کیفیت - کم ترین هزینه - تحویل در چند ساعت 09164470871 ای دی e2proir
شناسه محصول و کد فایل : 14971
نوع فایل : Powerpoint پاورپوینت
قابل ویرایش تمامی اسلاید ها دارای اسلاید مستر برای ویرایش سریع و راحت تر
امکان باز کردن فایل در موبایل - لپ تاپ - کامپیوتر و ...
با یک خرید میتوانید بین 342000 پاورپینت ، 25 پاورپوینت را به مدت 7 روز دانلود کنید
فایل های مشابه شاید از این ها هم خوشتان بیاید !!!!
دانلود پاورپوینت آشنایی با فعالیت ها وآمار عملکرد اعضای هيئت علمی پژوهشکده بيوتکنولوژی گياهی (تا پايان آبان ماه 1386) (کد14987)
دانلود پاورپوینت تجزیه و تحلیل موضوع دوران جسم صلب حول محور ثابت سینماتیک دورانی (فیزیک پایه 1( مکانیک)) (کد14985)
تحلیل و ارزیابی تفاوت ها و شباهت های بنای زیگورات چغازنبیل با نمونه های مشابه در بین النهرین (کد14983)
دانلود پاورپوینت تحلیل و بررسی شیوه مطالعه هیدروژئوفیزیک با استفاده از روش مقاومت سنجی الکتریکی (کد14976)
دانلود پاورپوینت آشنایی با زخم های فشاری و بررسی شیوه های پیشگیری در برابر فشارهای مکانیکی و سطوح حفاظتی (کد14972)
دانلود پاورپوینت آشنایی با طبقه بندی گیاهان زراعی از نظر فصل رشد، طول عمر، هدف تولید و ...و بررسی عوامل محیطی در رشد و نمو و تولید مثل گیاهان زراعی (کد14969)
دانلود پاورپوینت آشنایی با شیوه های تشخیص اختلالات تعدادی کروموزومی در 640 از طریق شیوه QF-PCR (کد14959)
آشنایی با مفهوم دانایی صفر و بررسی روش های استفاده از پروتکل های دانایی صفر
مفاهیم و کاربردهای عملی داناییصفر (Zero–knowledge)
مقدمه
یک اثباتکننده(P) سعیمیکند تصدیقکننده (V) را متقاعدکند که ادعایش صحیح است. در حالت عادی، P در یک ارتباط یک سری اطلاعات به V میدهد و V با محاسباتی صحت ادعای P را تاییدمیکند.
آیا میتوان بدون انتقال اطلاعات اضافی، V را متقاعد نمود؟
آیا میتوان پیامهای بیشتری ردوبدلکرد و در عین حال اطلاعات اضافه منتقل نشود؟
آیا میتوان با درنظر گرفتن احتمال خطای غیرصفر و با انتقال اطلاعات کم و کافی V را راضی نمود؟
تعریف دانایی صفر
در یک اثبات هنگامی که منظور اصلی بدون هیچ اطلاعات اضافی منتقل شود (واقعیتی برطرف مقابل آشکار شود) آنگاه اثبات با دانایی صفرنامیده میشود.
در این نوع اثبات V متقاعد میشود که P صاحب اطلاعاتی است، اما بههیچ طریقی نمیتواند این اطلاعات را استخراج کند.
در یک پروتکل دانایی – صفر میتوان کارهایی از قبیل شناسایی، اثبات یک واقعیت یا عملیات دیگر رمزنگاری را، بدون فاشکردن اطلاعات محرمانه در هنگام برقراری ارتباط، انجام داد.
غاردانایی صفر
کسی که کلمه رمز در انتهایی غار را بداند، میتواند از نقطه C به نقطه D برسد و برعکس. فرضکنیم P کلمه رمز را میداند و میخواهد این آگاهی را به V بفهماند، اما نمیخواهد کلمه رمز را بازگو نماید.
V در نقطه A میایستد
P وارد غار میشود وبه هرکدام از مسیرها که مایل باشد، میرود.
هنگامی که P در غار ناپدید شد، V به نقطه B میآید
V باصدازدنPازاومیخواهد که :
از مسیر سمت راست بازگردد
از مسیر سمت چپ بازگردد
Pاین خواسته Vرابرآورده میکند.
درصورت نیازکلمه رابه زبان میآورد واز در انتهایی غار میگذرد
Pو Vمراحل فوق را nبارتکرار میکنند
حل یک مسئلهی دشوار(1)
فرضکنیدPحل یک مسئله دشوار را میداند. برای اثبات این آگاهی بهصورت زیر عمل مینماید:
P با استفاده از اطلاعاتش و با انتخاب یک عدد تصادفی مسئله دشوار را به یک مسئله دشوار جدید تبدیلمیکند.
این مسئله جدید باید هم شکل Isomorphicمسئله اول باشد.
سپس با استفاده از اطلاعاتش و آن عدد تصادفی مسئله جدید را حلمیکند.
حل یک مسئلهی دشوار(2)
P مسئله جدید را برای V ارسالمیکند.
V از P میخواهد که یکی از دو کار زیر را انجام دهد:
ثابتکند که مسئله اول و مسئله جدید همشکل هستند
جواب مسئله جدید را بیانکند و نشان دهد که حل آن است
P موافقتمیکند و انجام میدهد
مراحل فوق را n بار تکرارکنند
نکات پروتکل حل یک مسئله دشوار
در این الگوریتم P هیچ گاه نباید برای مسئله دشوار جدیدی که بهدست میآورد هر دو درخواست بند (5) را پاسخ دهد.
تبدیلهای تصادفی و مسئلهها نیز باید بهگونه مناسبی انتخاب شوند تا V اطلاعاتی برای حل مسئله اصلی بهدست نیاورد.
همه مسایل دشوار برای این کاربرد مناسب نیستند. اما تعداد زیادی از این مسایل میتوانند استفاده شوند.
ویژگیهای پروتکل دانایی صفر
تصدیقکننده هیچ معلوماتی از پروتکل بهدست نمیآورد:
تصدیق کننده با اتکا به خودش نمی تواند مراحل پروتکل را طی کند و به کنش و واکنش اثبات کننده نیاز دارد. پروتکل هیچ اطلاعات محرمانه ای را فاش نمی کند، در غیر این صورت پروتکل را با حداقل افشاسازی می نامند.
اثباتکننده نمیتواند تصدیق کننده را فریب دهد:
باتکرارپروتکل احتمال موفقیت اثباتکننده متقلب رامی توان به اندازه دلخواه کاهش داد.دراین پروتکل ها با اولین اشتباه اثباتکننده می توان اثباتکننده متقلب را شناسایی کرد.
تصدیقکننده نمیتواند اثبات کننده را فریب دهد:
تصدیقکننده نمیتواند از اطلاعات اثبات کننده آگاهی یابد.
تصدیقکننده نمیتواند خودرابهعنوان اثبات کننده برای شخص سومی معرفی کند:
تصدیقکننده حتی نمیتواندبه شخص سومی اثبات کندکه اثباتکننده دارای اطلاعات سری است.
روش های استفاده از پروتکل های دانایی صفر (1)
برای استفاده از پروتکلهای دانایی صفر به سه طریق زیر میتوان عمل نمود:
موازی:
بهنحوی که P تعدادی مسئله تدوینمیکند و برای V میفرستد. آنگاه V درخواستهای مربوط به هر مسئله را بهصورت یک جا برای P میفرستد. بدینصورت از تعداد ردوبدل پیام در مواردی که برقرار ارتباط با تاخیر همراه است، کاسته میشود.
روش های استفاده از پروتکل های دانایی صفر(2)
تاثیر متقابل:
که در آن P و V با ردوبدل متوانی پیامهایی مسیر پروتکل را دنبالمیکنند. دراین حالت اثبات بهصورت قسمتبهقسمت محقق میشود.
زمان غیر واقعی:
در این حالت یک تابع درهم یکطرفه برروی مسئلهها و دادهها نقش V را بازیمیکند و برای امضای دیجیتال مورد استفاده قرار می گیرد.
امنیت پروتکلهای دانایی صفر
امنیت پروتکلهای دانایی صفر معمولاً بر چند مسئله "سخت برای حل"" تکیه دارد. مهمترین آنها عبارتنداز:
مسئله بهدست آوردن لگاریتم گسسته (در هنگ n) یک عدد بزرگ (صدها بیت)
مسئله آگاه شدن از این که یک عدد در هنگ n مربع کامل است، بهشرط این که از عاملهای اول آن عدد بیخبر باشیم
مسئله تجزیه یک عدد بزرگ که حاصلضرب دو یا چند عدد اول بزرگ (صدها بیت) است
اثبات دانایی
اگرpبخواهد برای Vاثباتکند که ازمقدارxکه درمعادله Ax B(mod p)
(p اول،A،Bوp معلوم )صدقمیکند،آگاه است،بهصوت زیرعمل مینماید:
اثبات هویتFeige-Fiat-Shamir
ابتدا یک داور یا میانجی عدد بزرگ n را که حاصل ضرب دو عدد اول بزرگ است انتخابمیکند.
کلید عمومی اثباتکننده که با vنمایش داده میشود، به نحوی انتخاب میشود که x2=v mod n (باقیمانده یک مربع کامل درهنگ n) و نیز معکوس v درهنگ n موجود باشد.
کلید خصوصی اثباتکننده، s، را بهصورت کوچکترین عدد که S=sqrt(v-1) mod n تعیینمیکند
اثبات هویت Feige-Fiat-Shamir
اثباتکننده عدد دلخواه r کوچکتراز n را انتخابمیکند.
سپس x= r2 mod n را محاسبه و مقدار x را برای تصدیقکننده ارسال مینماید.
تصدیقکننده یک بیت تصادفی bبرای اثباتکننده میفرستد
اگر b=0 بود اثباتکننده مقدار r و در صورتی که b=1 بود، مقدار y=rs mod n را ارسالمیکند
اثبات هویت Feige-Fiat-Shamir
اگرb=0 باشد، تصدقکننده درستی عبارت x= r2 mod n را امتحانمیکند تا مطئن شود که اثباتکننده از Sprt(x) باخبر است.
...آشنایی با مفهوم دانایی صفر و بررسی روش های استفاده از پروتکل های دانایی صفر ، مفاهیم و کاربردهای عملی داناییصفر (Zero–knowledge)
نتیجهگیری
دانایی صفر روش مفیدی برای متقاعدکردن طرف مقابل، بدون انتقال اطلاعات محرمانه است.
این روش کار، استفادههای متعددی در عمل رمزنگاری میتواند داشته باشد، دارای امنیت محاسباتی خوبی میباشد.
دانایی صفر همواره با ردوبدل پیام (حداقل یک رفت و برگشت برای هر طرف) همراه است.
نتیجهگیری
برای تحقق دانایی صفر، پروتکلهای مختلفی قابل استفاهاند که همگی برمسایل دشواری استوار هستند.
پروتکلهای تئوری معمولاً محاسبات سنگینی احتیاج دارند، لذا برای پیادهسازی این پروتکلها در عمل، باید مقدار محاسبات را کاهشداد.
یکی از کاربردهای دانایی صفر در عمل، استفاده آن در کارتهای هوشمند میباشد. برای این منظور باید پروتکلها را بهنحوی مناسب طراحیکرد.
نتیجهگیری
استفاده از این کارتها باید با ریزبینی در ارتباط با مسایل امنیتی همراه باشد.
باتوجه به حجم محاسباتی کمتر دانایی صفر در مقایسه با کلید عمومی، انتظار میرود که استفاده از آن بهخصوص در سیستمهای محدود بیشتر موردتوجه قرار گیرد. لذا این مقوله جای کار فراوان دارد.
30 تا 70 درصد پروژه | پاورپوینت | سمینار | طرح های کارآفرینی و توجیهی | پایان-نامه | پی دی اف مقاله ( کتاب ) | نقشه | پلان طراحی | های آماده به صورت رایگان میباشد ( word | pdf | docx | doc | )
"
تو پروژه یکی از بزرگ ترین مراجع دانلود فایل های نقشه کشی در کشو در سال 1394 تاسیس گردیده در سال 1396 کافه پاورپوینت زیر مجموعه تو پروژه فعالیت خود را در زمینه پاورپوینت شروع کرده و تا به امروز به کمک کاربران و همکاران هزاران پاورپوینت برای دانلود قرار داده شده
با افتخار کافه پاورپوینت ساخته شده با وب اسمبلی