A framework for the development of protocols

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. Pub Date : 2003-06-18 DOI:10.1109/CSD.2003.1207722

F. Crazzolara, Giuseppe Milicia

引用次数: 3

Abstract

We present the /spl chi/-Spaces framework, a tool designed to support every step of a security protocol's life cycle. Its integrated development environment (IDE) eases the task of protocol design, debugging and simulation.

查看原文本刊更多论文

开发协议的框架

我们提出了/spl chi/-Spaces框架，这是一个旨在支持安全协议生命周期的每个步骤的工具。它的集成开发环境(IDE)简化了协议设计、调试和仿真的任务。

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

求助全文

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

来源期刊

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.

自引率

0.00%

发文量