Центральноазиатский журнал образования и инноваций 3-jild vation-son (2024) · 100–103-betlar

ЛОГИКА МОДЕЛИРОВАНИЯ ВРЕМЕНИ В КРИПТОГРАФИЧЕСКИХ ПРОТОКОЛАХ

Даминов, А.А.

DOI: 10.5281/zenodo.11532644 · Manbada o'qish → · PDF (manba serverida)

Annotatsiya

В данной статье предложена логика для моделирования времени в криптографических протоколах. В большинстве существующих логик время не учитывается, несмотря на его важную роль в протоколах. В предложенной логике время используется как параметр предикатных и модальных операторов, что позволяет моделировать действия, знания и убеждения агентов в разные моменты времени. Приводится метод анализа криптографических протоколов с учетом временного фактора, что особенно полезно для анализа протоколов, зависящих от времени.

BAN логика, аутентификаци, дискретное время, криптографические протоколы, тайм-релиз, анализ.

Metadata manbasi: jurnal OAI-PMH arxivi · Sindex to'liq matnni saqlamaydi, manbaga havola beradi.