Processz algebrai eszközök a szenzorhálózatok biztonsági vizsgálatában
Date
Type
folyóiratcikk
Reading access rights:
Open access
ISSN, e-ISSN
0018-2028
Periodical Number
8
Periodical Volume
LIX
Container Title
Híradástechnika
Version
Preprint
First Page
41
Subject Area
Műszaki tudományok
Subject Field
Villamosmérnöki tudományok
Subject (OSZKAR)
biztonsági protokoll vizsgálat
szenzorhálózat kódolása
CSP
kulcs-csere
szenzorhálózat kódolása
CSP
kulcs-csere
Gender
Tudományos cikk
- Cite this item
- http://hdl.handle.net/10890/3268
OOC works
Abstract
A kommunikációs és hálózati technológiák nagymértékű fejlődése, valamint a mind nagyobb fokú miniatűrizáció lehetővé tette napjainkra vezeték nélküli érzékelőrendszerek megvalósítását. A szenzor-számítógépek önszerveződő ad hoc hálózatot alakítanak ki, melyeknek biztonsága a hagyományos rendszerekhez képest nehezebben garantálható. Cikkünkben bemutat-juk, miként alkalmazhatóak a hagyományos távközlőhálózatokban bevált processz algebrai eszközök ilyen rendszerek biztonsági tulajdonságainak ellenőrzésére.