https://3rabica.org/index.php?action=history&feed=atom&title=%D8%A3%D9%85%D9%86_%D9%85%D8%A8%D8%B1%D9%87%D9%86أمن مبرهن - تاريخ المراجعة2026-06-11T18:27:08Zتاريخ التعديل لهذه الصفحة في الويكيMediaWiki 1.43.7https://3rabica.org/index.php?title=%D8%A3%D9%85%D9%86_%D9%85%D8%A8%D8%B1%D9%87%D9%86&diff=1597305&oldid=prevعبد العزيز: بوت:تعريب علامات التنصيص اللاتينية (تجريبي)2022-07-16T00:41:09Z<p>بوت:تعريب علامات التنصيص اللاتينية (تجريبي)</p>
<p><b>صفحة جديدة</b></p><div>{{يتيمة|تاريخ=نوفمبر_2012}}<br />
في [[علم التعمية "التشفير"]]، يكون لدى النظام '''أمن مبرهن''' إذا كان يمكن ذكر متطلبات الأمن الخاصة به رسميًا في نموذج [[الخصوم (علم التشفير)|الخصوم]]، على النقيض من ذكره بطريقة إرشادية، مع افتراضات واضحة أن الخصم لديه حق الوصول إلى النظام وكذلك موارد حاسوبية كافية. وبرهان الأمن (يُسمى «اختزال») هو أن هذه المتطلبات الخاصة بالأمن تُلبى شريطة تلبية الافتراضات الخاصة بوصول الخصم إلى النظام واحتواء بعض الافتراضات المنصوص عليها بوضوح بشأن [[فرض صعوبة الحساب|صعوبة]] بعض المهام الحسابية. وقد تم إعطاء مثال مبكر لمثل هذه المتطلبات والبرهان من قِبل [[شافريرا غولدفاسر|غولدفاسر]] و[[سيلفيو ميكالي (Silvio Micali)|ميكالي]] بشأن [[الأمن الدلالي]] والبناء القائم على [[مشكلة الباقي التربيعي]].<br />
<br />
== التطوير ==<br />
هناك عدة خطوط بحثية في مجال الأمن المبرهن. أحد هذه الخطوط معني بإرساء تعريف «صحيح» للأمن لمهمة معنية مفهومة بالبداهة. وخط آخر معني باقتراح الإنشاءات والبراهين استنادًا إلى الافتراضات العامة بأقصى حد ممكن، على سبيل المثال وجود [[دالة وحيدة الاتجاه|دالة تشفير ذات اتجاه واحد]]. وثمة مشكلة رئيسية تتمثل في إرساء مثل هذه البراهين استنادًا إلى P ≠ NP، نظرًا لأن وجود دوال التشفير ذات الاتجاه الواحد غير معروف من حدس P ≠ NP.<br />
<br />
وبعض البراهين الخاصة بالأمن تكون في قوالب نظرية مثل [[قالب أوراكل العشوائي]]، حيث يتم تمثيل دوال تشفيرية مجزأة حقيقية عن طريق الإدراك بمنظور مثالي. «الأمن المحدد» أو «[[الأمن الملموس]]» هو الاسم الذي يُعطى للاختزالات الأمنية المبرهنة حيث يقوم المرء بتحديد مقدار الأمن عن طريق حساب الحدود الدقيقة على أساس جهد حسابي، وليس على أساس حد مقارب يكون مكفولاً لقيم «كبيرة على نحو كافٍ» خاصة بـ [[معلمة الأمن]].<br />
<br />
تمت كتابة العديد من التفنيدات من قِبل [[أوديد جولدرايش]] و[[أفي ويجديرسون (Avi Wigderson)]] وغيرهما من الباحثين المتخصصين في هذا المجال.<ref>[http://www.wisdom.weizmann.ac.il/~oded/on-pmc.html On Post-Modern Cryptography (essay)<!-- عنوان مولد بالبوت -->] {{Webarchive|url=https://web.archive.org/web/20170628233803/http://www.wisdom.weizmann.ac.il/~oded/on-pmc.html |date=28 يونيو 2017}}</ref><ref>[http://in-theory.blogspot.com/2007_08_26_archive.html in theory: 2007-08-26<!-- عنوان مولد بالبوت -->] {{Webarchive|url=https://web.archive.org/web/20171104141102/http://in-theory.blogspot.com/2007_08_26_archive.html |date=04 نوفمبر 2017}}</ref> وكتب [[إيفان دامجارد (Ivan Damgård)]] لاحقًا [[بحثا عبر فيه عن رأيه]] في ICALP 2007 بشأن المشاكل التقنية،<ref>{{استشهاد بدورية محكمة | الأخير1 = Damgård | الأول1 = I. | عنوان = A "proof-reading" of Some Issues in Cryptography | doi = 10.1007/978-3-540-73420-8_2 | المجلد = 4596 | صفحات = 2–11 | سنة = 2007 | صحيفة = Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007. Proceedings | isbn = 978-3-540-73419-2 | series = | pmid = | pmc = | postscript = .&nbsp;[http://www.daimi.au.dk/~ivan/positionpaper.pdf preprint] | وصلة = http://www.daimi.au.dk/~ivan/positionpaper.pdf | تاريخ الوصول = 5 أغسطس 2016 | مسار أرشيف = https://web.archive.org/web/20180721154510/http://www.daimi.au.dk/~ivan/positionpaper.pdf | تاريخ أرشيف = 21 يوليو 2018 | url-status = dead }}</ref> وحظي بتوصية [[سكوت أرونسون (Scott Aaronson)]] باعتباره بحثًا تفصيليًا.<ref>[https://www.scottaaronson.com/blog/?p=268 Shtetl-Optimized » Blog Archive » My take on the Koblitz affair<!-- عنوان مولد بالبوت -->] {{Webarchive|url=https://web.archive.org/web/20180618183852/https://www.scottaaronson.com/blog/?p=268 |date=18 يونيو 2018}}</ref><br />
<br />
== مراجع ==<br />
{{مراجع}}<br />
<br />
{{شريط بوابات|تعمية|علم الحاسوب}}<br />
<br />
[[تصنيف:تعمية]]</div>عبد العزيز