Криптографические протоколы
Представляем вашему вниманию проект, посвященный криптографическим протоколам. Основной целью его является создание как можно более полного и постоянно пополняемого каталога криптографических протоколов. Каталог будет состоять из информационных карт, содержащих информацию, распределенную по следующим разделам.
- Заголовок. Название протокола, его номер в каталоге, а также его вид.
- Постановка задачи. Формулировка задачи, для решения которой создан протокол.
- Описание протокола. Подробное словесное описание шагов протокола.
- Формальное определение. Формальное определение протокола.
- Авторы. Сведения о разработчиках протокола.
- Свойства. Основные свойства, которыми обладает протокол.
- Атаки. Основные уязвимости протокола, атаки на протокол.
- Оценка сложности. Посвящен вопросу оценки сложности протокола.
- История. Исторические сведения о протоколе.
- Применение. Сведения об основных существующих и возможных способах применения протокола.
- Исходники. Тексты (листинги) программ, реализующих протокол.
- Ссылки. Источники информации о протоколе.
В рамках проекта необходимо решить следующие задачи:
- Найти и изложить исторические сведения о криптографических протоколах.
- Осветить современное состояние данного направления криптографии.
- Рассмотреть существующие проблемы.
- Изложить основные определения, свойства, уязвимости, атаки, примеры протоколов, а также их различные классификации.
- Рассмотреть необходимые сведения из теории чисел, алгебры, теории сложности и т.д.
Данный проект открыт для сотрудничества со всеми заинтересованными лицами.
На сегодняшний день на сайте размещено немного информации. Предстоит много работы по поиску, систематизации и анализу теоретических и практических сведений, а также по внешнему оформлению сайта. Но как говорится, дорога в тысячи километров начинается с первого шага.
Наш проект теперь будет размещаться на www.cryptoprotocols.kz!!!
|
Протокол "Задача о вычислении определителя" можно найти также в следующей публикации : Бекенов М.И., Оспанов Р.М. Пример протокола интерактивного
доказательства. Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ"
(Новосибирск, 11–15 ноября 2013 г.) Тезисы докладов. С.28
|
На сегодняшний день на сайте размещены описания следующих криптографических протоколов: задача о пещере Али-Бабы, доказательство изоморфизма графов, доказательство неизоморфизма графов, доказательство знания дискретного логарифма, доказательство знания представления числа y в базисе, доказательство знания представления множества чисел в соответствующих базисах, доказательство знания мультипликативной связи "депонированных" величин, доказательство принадлежности подгруппе, доказательство принадлежности числа множеству квадратичных вычетов, доказательство принадлежности числа множеству квадратичных невычетов, доказательство знания разложения на два простых множителя, доказательство идентификации Шнорра, доказательство знания гамильтонова цикла, доказательство знания 3-раскрашиваемости графа, задача о кубике Рубика, задача о вычислении определителя. Для каждого протокола приведены ссылки на библиографические источники. Готовится информация о протоколе подбрасывания ... Читать дальше » |
Наконец получилось добавить новые материалы. Теперь в разделе Примеры протоколов можно найти описание ряда протоколов интерактивного доказательства.
|
Добавлены Гостевая книга и Обратная связь
|
Доброго времени суток! Наш проект объявляется открытым! Приглашаем всех желающих к сотрудничеству!
|