Title
Security Verification in the Context of 5G Sensor Networks
Authors
[ 1 ] Instytut Radiokomunikacji, Wydział Informatyki i Telekomunikacji, Politechnika Poznańska | [ 2 ] Wydział Informatyki i Telekomunikacji, Politechnika Poznańska | [ P ] employee | [ S ] student
Scientific discipline (Law 2.0)
Year of publication
2021
Article type
scientific article
Publication language
english
Keywords
EN
- 5G
- automated symbolic analysis
- Internet of Things
- security protocols
- sensor networks
Pages (from - to)
107 - 119
License type
COPYRIGHT
Open Access Mode
open journal
Open Access Text Version
final published version
Date of Open Access to the publication
at the time of publication
Ministry points / journal
40
Ministry points / journal in years 2017-2021
40
This website works thanks to the software SINUS
created by Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS