Chinaunix首页 | 论坛 | 博客
  • 博客访问: 1650234
  • 博文数量: 230
  • 博客积分: 10045
  • 博客等级: 上将
  • 技术积分: 3357
  • 用 户 组: 普通用户
  • 注册时间: 2006-12-30 20:40
文章分类

全部博文(230)

文章存档

2011年(7)

2010年(35)

2009年(62)

2008年(126)

我的朋友

分类: 系统运维

2008-09-14 11:16:27

Scyther
Scyther is a state-of-the-art tool for the automatic verification of security protocols.


mCRL toolset
µCRL (micro CRL - written as mCRL if the symbol µ is not available) is a process algebraic language that was especially developed to take account of data in the study of communicating processes. It is basically intended to study description and analysis techniques for (large) distributed systems.


mCRL2
mCRL2 is a formal specification language with an associated toolset. The toolset can be used for modelling, validation and verification of concurrent systems and protocols.


CADP
CADP ("Construction and Analysis of Distributed Processes", formerly known as "CAESAR/ALDEBARAN Development Package") is a toolbox for the design of communication protocols and distributed systems.

阅读(1667) | 评论(1) | 转发(0) |
给主人留下些什么吧!~~

chinaunix网友2008-12-15 12:05:33

我也推荐一个: AVISPA http://avispa-project.org/ AVISPA stands for Automated Validation of Internet Security Protocols and Applications. The AVISPA project aims at developing a push-button, industrial-strength technology for the analysis of large-scale Internet security-sensitive protocols and applications. This website contains all relevant information about AVISPA for project members, interested third parties and scientists worldwide.