Casper: A compiler for the analysis of security protocols

被引：103

作者：

Lowe, G

机构：

来源：

10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS | 1997年

关键词：

D O I：

10.1109/CSFW.1997.596779

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

fn recent years, a method for analyzing security protocols wing the process algebra CSP [8] and its model checker FLIR [26] has been developed. This technique has proved successful, and has been used to discover a number of attacks upon protocols. However, the technique has required producing a CSP description of the protocol by hand; this has proved tedious and error-prone. In this paper we describe Gasper, a program that automatically produces the CSP description from a more abstract description, thus greatly simplifying the modelling and analysis process.

引用

页码：18 / 30

页数：13