文章基本信息

标题：Wireless Authentication in chi-Spaces
本地全文：下载
作者：Federico Crazzolara ; Giuseppe Milicia
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：2003
卷号：10
期号：10
出版社：Aarhus University
摘要：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.