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