Analysing Security Protocols using CSP

Formal Models and Techniques for Analyzing Security Protocols Pub Date : 1900-01-01 DOI:10.3233/978-1-60750-714-7-62

G. Lowe

引用次数: 1

Abstract

In this chapter we describe how security protocols can be analysed using the process algebra CSP and the model checker FDR. The basic technique is to build a CSP model of a small system running the protocol, together with the most general intruder who can interact with that protocol, and then to use the model checker FDR to explore the state space, looking for insecure behaviours. We will base our explanation of the technique upon the book’s running example:

查看原文本刊更多论文

使用CSP分析安全协议

在本章中，我们描述了如何使用进程代数CSP和模型检查器FDR来分析安全协议。基本技术是建立一个运行协议的小型系统的CSP模型，以及可以与该协议交互的最一般的入侵者，然后使用模型检查器FDR来探索状态空间，寻找不安全的行为。我们将根据本书的运行示例来解释该技术:

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Formal Models and Techniques for Analyzing Security Protocols

自引率

0.00%

发文量