English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In this report, we present our approach for protocol analysis together with areal example where we find an important flow in a contemporary wireless sensornetwork security protocol. We start by modelling protocols using a specificprocess algebraic formalism called LySa process calculus. We then apply ananalysis based on a special program analysis technique called control flowanalysis. We apply this technique to the ZigBee-2007 End-to-End Application KeyEstablishment Protocol and with the help of the analysis discover an unknownflaw. Finally we suggest a fix for the protocol, and verify that the fix worksby using the same technique.

Analysing ZigBee Key Establishment Protocols