Scholarlink

Temporal properties are introduced to express authentication based on recency and distance. The difference between aliveness and recent aliveness is defined, illustrated using minimal examples. Authenticating proximity is also expressed as temporal constraints on the order of events. The distance-bounding properties Mafia fraud and distance hijacking are covered. Exercises provide practice with further examples of authentication and distance-bounding protocols. Relatively new features of tools for expressing such temporal queries are touched on.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Authentication using time and distance

  • 章节

  • 发表日期：

    2026年

查看全文
  • Reynaldo Gil-Pons,
  • Ross Horne,
  • Sjouke Mauw,
  • Felix Stutz,
  • Semen Yurkov

摘要

Temporal properties are introduced to express authentication based on recency and distance. The difference between aliveness and recent aliveness is defined, illustrated using minimal examples. Authenticating proximity is also expressed as temporal constraints on the order of events. The distance-bounding properties Mafia fraud and distance hijacking are covered. Exercises provide practice with further examples of authentication and distance-bounding protocols. Relatively new features of tools for expressing such temporal queries are touched on.