Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT), FP (FP), UIFS (FIT)
Trchalík Roman, Mgr., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

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.

Klíčová slova

ZigBee, security protocol, security, analysis, verification

Rok
2007
Strany
1–4
Sborník
Proceedings of the 8th International Carpathian Control Conference
Konference
8th International Carpathian Control Conference: ICCC 2007
ISBN
978-80-8073-805-1
Vydavatel
The University of Technology Košice
Místo
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"
}
Projekty
Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru