Title :
Wireless authentication in χ-Spaces
Author :
Crazzolara, Federico ; Milicia, Giuseppe
Author_Institution :
C&C Res. Labs., NEC Europe, St. Augustin, Germany
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.
Keywords :
cryptography; formal languages; message authentication; protocols; telecommunication security; χ-Spaces; protocols life-cycle; security protocol language; wireless authentication; wireless devices; Authentication; Communication system security; Cryptography; Europe; Formal specifications; Information security; Java; Laboratories; National electric code; Wireless application protocol;
Conference_Titel :
Global Telecommunications Conference, 2003. GLOBECOM '03. IEEE
Print_ISBN :
0-7803-7974-8
DOI :
10.1109/GLOCOM.2003.1258468
