DocumentCode
401153
Title
Wireless authentication in χ-Spaces
Author
Crazzolara, Federico ; Milicia, Giuseppe
Author_Institution
C&C Res. Labs., NEC Europe, St. Augustin, Germany
Volume
3
fYear
2003
fDate
1-5 Dec. 2003
Firstpage
1399
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Global Telecommunications Conference, 2003. GLOBECOM '03. IEEE
Print_ISBN
0-7803-7974-8
Type
conf
DOI
10.1109/GLOCOM.2003.1258468
Filename
1258468
Link To Document