A Framework for the Development of Protocols

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.

• Type: Conference
• Year: 2003
• Where: ACSD
• Authors: Federico Crazzolara, Giuseppe Milicia
• Keywords: ACSD 2003, Hardware, Integrated Development Environment, Protocol Design, Protocol's Life Cycle