Skip to content
KitploitKITPLOIT
أدواتالمدونة
إرسال
أدواتالمدونة
إرسال

أدوات الاختراق واختبار الاختراق والأمن السيبراني لترسانتك الأمنية!

Kitploit هو دليل لأدوات الاختراق والأمن السيبراني واختبار الاختراق. اكتشف آخر تحديثات المشاريع للعثور على الثغرات وتحليل الأنظمة وأتمتة الاختبارات وتعزيز أمنك.

··الخلاصات·اتصال·الخصوصية·© 2026 Kitploit

دليل الأدوات

الفئات

عرض جميع الفئات
Loading categories
formal_np1sec — Formalizing np1sec using Tamarin and other FM (see https://github.com/equalitie/np1sec) | Kitploit
أدوات/GitHubGitHub/nccgroup/formal_np1sec
Static AnalysisCryptographyPapers & Research
GitHubnccgroup/formal_np1sec

formal_np1sec

Formalizing np1sec using Tamarin and other FM (see https://github.com/equalitie/np1sec)

عرض المستودع
11منذ 8 سنواتلم تتم المراجعة بعد

الأكثر شعبية

عرض الكل →

اكتشف الأدوات الأكثر استخدامًا من قبل مجتمعنا.

استكشف جميع الأدوات

تصفح مجموعتنا من الأدوات

عرض جميع الأدوات →
مشاركة

بحث حول إثبات سرية المفتاح الجماعي في جزء تبادل المفاتيح الجماعية لبروتوكول (n+1)sec، مع بعض القيود مثل وجود 3 مشاركين فقط. تم هذا العمل بواسطة Alex Balducci و Andy Lee.

المستند الرئيسي هو gkep_normxorm_simplified_writeup.txt. يحتوي على مراجع لمستندَي «الإثبات اليدوي» وgkep_normxorm_simplified_cleaned.spthy، وهو المدخل إلى Tamarin. أما GKEP_3_normxorm_simplified_cleaned_proof.spthy فهو ناتج Tamarin.

انظر أيضًا إلى useful_results.txt

تنزيل الأداة