Интерактивная система доказательств для интеллектуальных средств контроля доступа к информационно-вычислительным ресурсам

Рассматривается протокол определения полномочий пользователя, реализуемый системой контроля доступа к информационно-вычислительным ресурсам. Основой протокола является принцип доказательства при нулевых знаниях, что позволяет реализовать его в интеллектуальных идентификационных карточках со встроенным вычислительным устройством. Приводятся алгоритмы доказательства прав пользователя и их проверки, базирующиеся на свойствах эллиптических кривых.