A Framework for Security Analysis of Mobile Wireless Networks

Sebastian Nanz, Chris Hankin

    Research output: Contribution to journalJournal articleResearchpeer-review


    We present a framework for specification and security analysis of communication protocols for mobile wireless networks. This setting introduces new challenges which are not being addressed by classical protocol analysis techniques. The main complication stems from the fact that the actions of intermediate nodes and their connectivity can no longer be abstracted into a single unstructured adversarial environment as they form an inherent part of the system's security. In order to model this scenario faithfully, we present a broadcast calculus which makes a clear distinction between the protocol processes and the network's connectivity graph, which may change independently from protocol actions. We identify a property characterising an important aspect of security in this setting and express it using behavioural equivalences of the calculus. We complement this approach with a control flow analysis which enables us to automatically check this property on a given network and attacker specification. (c) 2006 Elsevier B.V. All rights reserved.
    Original languageEnglish
    JournalTheoretical Computer Science
    Issue number1-2
    Pages (from-to)203-227
    Publication statusPublished - 2006


    Dive into the research topics of 'A Framework for Security Analysis of Mobile Wireless Networks'. Together they form a unique fingerprint.

    Cite this