О безопасности одного протокола аутентификации для технологии RFID

Основным результатом настоящей работы является формализация свойства аутентификации в виде конкретной модели безопасности в рамках подхода «доказуемая стойкость» и доказательство стойкости RFID-протокола, предложенного для стандартизации в ТК 26, в указанной модели.