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.
['Federico Crazzolara', 'Giuseppe Milicia']
A framework for the development of protocols