@misc{Remlein_Piotr_Security,
 author={Remlein, Piotr and Stachowiak, Urszula},
 howpublished={online},
 publisher={National Institute of Telecommunications},
 language={ang},
 title={Security Verification in the Context of 5G Sensor Networks, Journal of Telecommunications and Information Technology, 2021, nr 2},
 type={artykuł},
 keywords={sensor networks, security protocols, 5G, Internet of Things, automated symbolic analysis},
}