Wireless authentication in χ-Spaces
Federico Crazzolara, Giuseppe Milicia · 2004
The /spl chi/-Spaces framework is a set of tools that support all steps of a protocol's life-cycle. The framework implements the simple yet powerful security protocol language (SPL), designed to model security protocols and show their correctness. /spl chi/-Spaces can provide efficient and robust implementations of protocols that are suited for embedding into wireless devices.