Result Details

Reasoning About Security Protocols in the ZigBee Standard

OČENÁŠEK, P.; TRCHALÍK, R. Reasoning About Security Protocols in the ZigBee Standard. Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007. p. 1-4. ISBN: 978-80-8073-805-1.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Trchalík Roman, Mgr., Ph.D., DIFS (FIT)
Abstract

The ZigBee standard is progressive wireless communication standard, targeting automation and control applications. It provides reliable data transmission at low rates, with very low power consumption at very low-end device cost. This paper focuses on the security protocols used in ZigBee and attempts to give an introduction to their specifications and outlines variants of application based on the ZigBee operation mode used.

Keywords

ZigBee, security protocol, security, analysis, verification

Published
2007
Pages
1–4
Proceedings
Proceedings of the 8th International Carpathian Control Conference
Conference
8th International Carpathian Control Conference: ICCC 2007
ISBN
978-80-8073-805-1
Publisher
The University of Technology Košice
Place
Košice
BibTeX 
@inproceedings{BUT28602,
  author="Pavel {Očenášek} and Roman {Trchalík}",
  title="Reasoning About Security Protocols in the ZigBee Standard",
  booktitle="Proceedings of the 8th International Carpathian Control Conference",
  year="2007",
  pages="1--4",
  publisher="The University of Technology Košice",
  address="Košice",
  isbn="978-80-8073-805-1"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top