Applied pi calculus

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

M. Ryan, B. Smyth

引用次数: 41

Abstract

The applied pi calculus is a language for modelling security protocols. It is an extension of the pi calculus, a language for studying concurrency and process interaction. This chapter presents the applied pi calculus in a tutorial style. It describes reachability, correspondence, and observational equivalence properties, with examples showing how to model secrecy, authentication, and privacy aspects of protocols.

查看原文本刊更多论文

应用π微积分

应用π演算是一种对安全协议进行建模的语言。它是pi微积分的扩展，pi微积分是一种用于研究并发和进程交互的语言。本章以教程的形式介绍π微积分的应用。它描述了可达性、通信和观察等效属性，并用示例展示了如何对协议的保密、身份验证和隐私方面进行建模。

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

求助全文

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

来源期刊

Formal Models and Techniques for Analyzing Security Protocols

自引率

0.00%

发文量