Scholarlink

To further motivate tamarin’s use and to illustrate some of the pitfalls of informal reasoning, let us look at an actual security protocol. We chose a relatively simple protocol for entity authentication where two parties, with the help of a trusted third party, authenticate each other’s identity and also establish a shared session key.

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

An Example

  • 章节

  • 发表日期：

    2026年

查看全文
  • David Basin,
  • Cas Cremers,
  • Jannik Dreier,
  • Ralf Sasse

摘要

To further motivate tamarin’s use and to illustrate some of the pitfalls of informal reasoning, let us look at an actual security protocol. We chose a relatively simple protocol for entity authentication where two parties, with the help of a trusted third party, authenticate each other’s identity and also establish a shared session key.