Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/341131| Заглавие документа: | Автоматический анализ криптографических протоколов: построение запросов в ProVerif |
| Другое заглавие: | Automated analysis of cryptographic protocols: construction of queries in ProVerif / F. B. Dasko |
| Авторы: | Дасько, Ф. Б. |
| Тема: | ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Кибернетика ЭБ БГУ::МЕЖОТРАСЛЕВЫЕ ПРОБЛЕМЫ::Общие и комплексные проблемы технических и прикладных наук и отраслей народного хозяйства |
| Дата публикации: | 2025 |
| Издатель: | Минск : БГУ |
| Библиографическое описание источника: | Информационные системы и технологии = Information Systems and Technologies : материалы XI Междунар. науч. конгр. по информатике (CSIST-2025), Респ. Беларусь, Минск, 29–31 окт. 2025 г. В 2 ч. Ч. 1 / Белорус. гос. ун-т ; редкол.: С. В. Абламейко (гл. ред.) [и др]. – Минск : БГУ, 2025. – С. 39-48. |
| Аннотация: | В статье предложен подход к формированию запросов в системе автоматизированного анализа криптографических протоколов ProVerif. Представлены запросы для проверки шести ключевых свойств безопасности: конфиденциальности, аутентификации, защиты от атак повтора, подтверждения ключа, обновления ключа и защиты от «чтения назад». Результаты могут быть использованы для повышения качества анализа за счет формального подхода к построению запросов, исключающего возможные ошибки и неточности |
| Аннотация (на другом языке): | We present an approach to construct queries in ProVerif, an automated cryptographic protocol analyzer. We develop query templates for verifying six fundamental security properties: confidentiality, authentication, resistance to replay attacks, key confirmation, fresh key derivation and perfect forward secrecy. Our methodology enhances the reliability of verification results through a rigorous formal approach to query formulation that eliminates potential ambiguities and errors |
| Доп. сведения: | Раздел I. Информационная и компьютерная безопасность |
| URI документа: | https://elib.bsu.by/handle/123456789/341131 |
| ISBN: | 978-985-881-851-7 978-985-881-852-4 (ч. 1) |
| Лицензия: | info:eu-repo/semantics/openAccess |
| Располагается в коллекциях: | 2025. Информационные системы и технологии |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.