formal_np1sec

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