Please use this identifier to cite or link to this item:
https://elib.bsu.by/handle/123456789/341131| Title: | Автоматический анализ криптографических протоколов: построение запросов в ProVerif |
| Other Titles: | Automated analysis of cryptographic protocols: construction of queries in ProVerif / F. B. Dasko |
| Authors: | Дасько, Ф. Б. |
| Keywords: | ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Кибернетика ЭБ БГУ::МЕЖОТРАСЛЕВЫЕ ПРОБЛЕМЫ::Общие и комплексные проблемы технических и прикладных наук и отраслей народного хозяйства |
| Issue Date: | 2025 |
| Publisher: | Минск : БГУ |
| Citation: | Информационные системы и технологии = Information Systems and Technologies : материалы XI Междунар. науч. конгр. по информатике (CSIST-2025), Респ. Беларусь, Минск, 29–31 окт. 2025 г. В 2 ч. Ч. 1 / Белорус. гос. ун-т ; редкол.: С. В. Абламейко (гл. ред.) [и др]. – Минск : БГУ, 2025. – С. 39-48. |
| Abstract: | В статье предложен подход к формированию запросов в системе автоматизированного анализа криптографических протоколов ProVerif. Представлены запросы для проверки шести ключевых свойств безопасности: конфиденциальности, аутентификации, защиты от атак повтора, подтверждения ключа, обновления ключа и защиты от «чтения назад». Результаты могут быть использованы для повышения качества анализа за счет формального подхода к построению запросов, исключающего возможные ошибки и неточности |
| Abstract (in another language): | 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 |
| Description: | Раздел I. Информационная и компьютерная безопасность |
| URI: | https://elib.bsu.by/handle/123456789/341131 |
| ISBN: | 978-985-881-851-7 978-985-881-852-4 (ч. 1) |
| Licence: | info:eu-repo/semantics/openAccess |
| Appears in Collections: | 2025. Информационные системы и технологии |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.