Wireless Authentication in chi-Spaces | Zendy

Federico Crazzolara | Zendy; Giuseppe Milicia | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Wireless Authentication in chi-Spaces

Author(s) -

Federico Crazzolara,

Giuseppe Milicia

Publication year - 2003

Publication title -

brics report series

Language(s) - English

Resource type - Journals

eISSN - 1601-5355

pISSN - 0909-0878

DOI - 10.7146/brics.v10i10.21781

Subject(s) - computer science , correctness , protocol (science) , authentication protocol , authentication (law) , programming language , set (abstract data type) , cryptographic protocol , wireless , semantics (computer science) , theoretical computer science , computer security , cryptography , telecommunications , medicine , alternative medicine , pathology

The chi-Spaces framework provides a set of tools to support every step of the security protocol's life-cycle. The framework includes a simple, yet powerful programming language which is an implementation of the Security Protocol Language (SPL). SPL is a formal calculus designed to model security protocols and prove interesting properties about them. In this paper we take an authentication protocol suited for low-power wireless devices and derive a chi-Spaces implementation from its SPL model. We study the correctness of the resulting implementation using the underlying SPL semantics of chi-Spaces.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research