A Framework for the Development of Protocols

13 years 8 months ago

Download www.brics.dk

We present the -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.

Federico Crazzolara, Giuseppe Milicia

Real-time Traffic

ACSD 2003 | Hardware | Integrated Development Environment | Protocol Design | Protocol's Life Cycle |

claim paper

» Towards a Flexible Development Framework for MultiAgent Systems

» Protocol Composition Frameworks A HeaderDriven Model

» A Framework for Protocol Composition in Horus

» A framework for compositional verification of security protocols

» Schedulability Analysis of an EventBased RealTime Protocol Framework

» An Operatorbased Approach to Incremental Development of Conform Protocol State Machines

» Manetkit A Framework for MANET Routing Protocols

» Developing a Multiagent Conference Management System Using the OMaSE Process Framework

Post Info
More Details (n/a)

Added	23 Aug 2010
Updated	23 Aug 2010
Type	Conference
Year	2003
Where	ACSD
Authors	Federico Crazzolara, Giuseppe Milicia

Comments (0)

Sciweavers

A Framework for the Development of Protocols

ACSD 2003 | Hardware | Integrated Development Environment | Protocol Design | Protocol's Life Cycle |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers