Scholarlink

Now that we have seen tamarin’s modeling language and its semantics, we turn to its practical usage, which is to model protocols. We have already given an example of formalizing a security protocol in Chap. 2. In this chapter, we describe protocol modeling more systematically, focusing on modeling the state machines associated with a protocol’s roles.

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

Modeling State Machines

  • 章节

  • 发表日期：

    2026年

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

摘要

Now that we have seen tamarin’s modeling language and its semantics, we turn to its practical usage, which is to model protocols. We have already given an example of formalizing a security protocol in Chap. 2. In this chapter, we describe protocol modeling more systematically, focusing on modeling the state machines associated with a protocol’s roles.