Sciweavers

ACSD
2003
IEEE
104views Hardware» more  ACSD 2003»
14 years 4 months ago
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 pr...
Federico Crazzolara, Giuseppe Milicia