Wireless authentication in χ-Spaces

Abstract

The χ-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. χ-Spaces can provide efficient and robust implementations of protocols that are suited for embedding into wireless devices.

A framework for the development of protocols

“…We implemented the transition semantics, and use the net semantics to verify security properties of protocols. The framework has been shown to effectively aid the task of protocol development in several case studies [4,5,6,7].…”