منطق نادانی توزیع شده و امنیت

در علم امنیت اطلاعات عبارت «نادانی موهبت نیست» مشهور است. همواره یادآوری می شود که پنهان نمودن پروتکل مورد استفاده از دیگران امنیت ساز و کار را افزایش نمی دهد. اما مواردی وجود دارد که نادانی باعث تولید پروتکل می شود. در این پژوهش منطق نادانی توزیع شده به عنوان گسترشی از منطق نادانی ارائه شده است. به طور شهودی یک فرمول نادانی توزیع شده در یک گروه است هرگاه از مجموع دانش اعضای گروه نتیجه نشود. در این پژوهش با روش های صوری طرح تسهیم راز (خاصیتی که براساس نادانی عامل ها ساخته می شود) و یک حمله مرد میانی به یک پروتکل ضعیف را در منطق نادانی توزیع شده بررسی می کنیم. همچنین شرایطی را معرفی می کنیم که آزاد نمودن یک راز می تواند منجر به پنهان شدن رازی دیگر برای همیشه شود. در انتها قضایای صحت و تمامیت را برای این منطق اثبات می کنیم و همچنین نشان می دهیم که منطق ارائه شده از منطق نادانی و منطق شناختی قوی تر است.