Title

A Multi-Agent Approach Toward The Security Analysis Of The 802. 11I Handshake Protocol

Abstract

Wireless mesh networks (WMNs) are now increasingly deployed because of their low up-front cost, easy network maintenance, robustness, and reliable self coverage. It is important to guarantee the security properties of the WMN to ensure a desired secure system. In this paper, we formally verify the authentication of a WMN. We start with translating a WMN into a multi-agent system (MAS), where each node represents an agent of the MAS. The purpose is to benefit from the existing state-of-the-art verification techniques applicable in the multiagent domain. We then prove the authentication property of the WMN. Our contributions include: translating a wireless mesh network into a formal multi-agent framework, representing the authentication property as MAS's formal specification, and applying the Strand System verification strategy to prove the correctness of MAS's authentication. © 2007 IEEE.

Publication Date

8-28-2007

Publication Title

2007 2nd International Symposium on Wireless Pervasive Computing

Number of Pages

413-418

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1109/ISWPC.2007.342639

Socpus ID

34548127817 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/34548127817

This document is currently not available here.

Share

COinS