Криптографические протоколы - Доказательство неизоморфизма графов

Понедельник, 29.04.2024, 04:23

Криптографические протоколы

Главная

Регистрация

Вход

Приветствую Вас, Гость · RSS

Меню сайта

Форма входа

Поиск

Счетчики

Доказательство неизоморфизма графов

ДОКАЗАТЕЛЬСТВО НЕИЗОМОРФИЗМА ГРАФОВ		Протокол GNI
Протокол интерактивного доказательства	Протокол доказательства с нулевым разглашением

Постановка задачи

Пусть знает о неизоморфизме графов и . хочет доказать свое знание, не показывая само доказательство неизоморфизма.

Описание протокола

Основные сведения

Формальное определение

Информация пока отсутствует

Авторы

Информация пока отсутствует

Свойства

Информация пока отсутствует

Атаки

Информация пока отсутствует

Оценка сложности

Информация пока отсутствует

История

Информация пока отсутствует

Применение

Информация пока отсутствует

Исходники

Информация пока отсутствует

Ссылки

O. Goldreich, S. Micali, and A. Wigderson. Proofs that Yield Nothing but Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems. Journal of the ACM, Vol. 38, No. 1, pages 691–729, 1991. (Preliminary version in 27th IEEE Symposium on Foundations of Computer Science, 1986.)

ТЕРМИНЫ

Календарь

Архив записей

Статистика

Онлайн всего: 1

Гостей: 1

Пользователей: 0

Сайт управляется системой uCoz