Что: | Лекция |
Когда: | Среда, 18 августа 2010, 02:05–03:35 |
Где: | ПОМИ РАН |
Слайды: | cryptoprotocols2014_lecture_180810.pdf |
Пещера Али–Бабы и Усама бен–Али. Определения: доказательства, системы доказательств. Изоморфизм и неизоморфизм графов. Как определить доказательства с неразглашением.