A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

Yüksel, Ender; Nielson, Hanne Riis; Nielson, Flemming

doi:10.1093/comjnl/bxq036

Cited by 12 publications

(9 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Very similar to ours is the work in [45], where the key establishment protocol of ZigBee [46] is specified in LySa [8,16] and statically analysed with a CFA. They discovered a security flaw arising because freshness is not guaranteed, and proposed a fix.…”

Section: Discussionmentioning

confidence: 86%

“…Security in IoT and cyber-physical systems has been addressed from a process algebraic perspective by a certain number of papers, e.g. [45,44,2]. An IoT protocol (the MQ Telemetry Transport 3.1) is formally model in terms of a timed message-passing process algebra [2].…”

Section: Discussionmentioning

confidence: 99%

“…Indeed, one can re-use existent techniques for doing that, e.g. based on CFA [8,45], through which also active attackers are implicitly included.…”

Section: Cfa At Work: Verifying Security Policiesmentioning

confidence: 99%

See 2 more Smart Citations

Tracing where IoT data are collected and aggregated

Bodei¹,

Degano²,

Ferrari³

et al. 2017

Logical Methods in Computer Science ; Volume 13

View full text Add to dashboard Cite

The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order to design and reason about IoT systems, and to intercept the implied technological shifts. We address some of these issues from a foundational point of view. To study them, we define IoT-LySa, a process calculus endowed with a static analysis that tracks the provenance and the manipulation of IoT data, and how they flow in the system. The results of the analysis can be used by a designer to check the behaviour of smart objects, in particular to verify non-functional properties, among which security. 1 https://www.theguardian.com/technology/2016/oct/22/smart-devices-too-dumb-to-fend-offcyber-attacks-say-experts LOGICAL METHODS lI N COMPUTER SCIENCE

show abstract

Section: Discussionmentioning

confidence: 86%

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Tracing where IoT data are collected and aggregated

Bodei¹,

Degano²,

Ferrari³

et al. 2017

Logical Methods in Computer Science ; Volume 13

View full text Add to dashboard Cite

show abstract

“…In recent years, ZigBee has come to be regarded as one of the communication standards in wireless sensor networks (Yuksel, Nielson, and Nielson 2011); for instance ZigBee modules are sold by several companies such as NEC corporation, HITACHI, and TOKYO COSMOS ELECTRIC CO., LTD. It is primarily used for measurement and control.…”

Section: Zigbee Networkmentioning

confidence: 99%

Using GIS to develop a mobile communications network for disaster-damaged areas

Kawamura

Dewan

Veenendaal

et al. 2013

International Journal of Digital Earth

View full text Add to dashboard Cite

Communications network damage resulting from a large disaster causes difficulties in the ability to rapidly understand the current situation and thus make appropriate decisions towards mitigating problems, such as where to send and dispense emergency supplies. The research outlined in this paper focuses on the rapid construction of a network after a disaster occurs. This study suggests ZigBee and geographic information systems (GIS) technologies to resolve these problems and provide an effective communication system. The experimental results of the ZigBee network system are presented, examples are provided of the mapping and analysis undertaken using GIS for the disaster-stricken area of Tsukuba City, Japan, and the communications node arrangements are determined for this region. These results demonstrate the effectiveness of establishing such a communications system for supporting efforts to relieve disaster-damaged areas.

show abstract

“…The approach presented in this report is within the scope of the SENSORIA (Software Engineering for Service-Oriented Overlay Computers) project, and will form a preliminary version of one of the chapters in my PhD dissertation. The discovered flaw and the proposed secure protocols were recently published in a conference paper (see references [17]) and also accepted for journal publication.Acknowledgement This work has been partially supported by EU-FETPI Global Computing Project IST-2005-16004 SENSORIA.I would like to thank Hanne Riis Nielson and Flemming Nielson for the supervision and invaluable contribution in this work, and also for providing me with this opportunity to work on an international research project. I would also like to thank Gavin Lowe for kind discussions and feedback on fixing the flaw in the key establishment protocol.…”

mentioning

confidence: 99%

Analysing ZigBee Key Establishment Protocols

Yüksel¹

2012

Preprint

View full text Add to dashboard Cite

This report provides a detailed documentation on the application of static program analysis to the key establishment protocols of the ZigBee wireless sensor network standard. The approach presented in this report is within the scope of the SENSORIA (Software Engineering for Service-Oriented Overlay Computers) project, and will form a preliminary version of one of the chapters in my PhD dissertation. The discovered flaw and the proposed secure protocols were recently published in a conference paper (see references [17]) and also accepted for journal publication.Acknowledgement This work has been partially supported by EU-FETPI Global Computing Project IST-2005-16004 SENSORIA.I would like to thank Hanne Riis Nielson and Flemming Nielson for the supervision and invaluable contribution in this work, and also for providing me with this opportunity to work on an international research project. I would also like to thank Gavin Lowe for kind discussions and feedback on fixing the flaw in the key establishment protocol.

show abstract

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks

Cited by 12 publications

References 0 publications

Tracing where IoT data are collected and aggregated

Tracing where IoT data are collected and aggregated

Using GIS to develop a mobile communications network for disaster-damaged areas

Analysing ZigBee Key Establishment Protocols

Contact Info

Product

Resources

About