%0 Conference Paper %1 conf/fedcsis/JaroszWZ22 %A Jarosz, Michal %A Wrona, Konrad S. %A Zielinski, Zbigniew %B FedCSIS %D 2022 %E Ganzha, Maria %E Maciaszek, Leszek A. %E Paprzycki, Marcin %E Slezak, Dominik %K dblp %P 617-625 %T Formal verification of security properties of the Lightweight Authentication and Key Exchange Protocol for Federated IoT devices. %U http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2022.html#JaroszWZ22 %V 30 %@ 978-83-965897-1-2

@inproceedings{conf/fedcsis/JaroszWZ22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Jarosz, Michal and Wrona, Konrad S. and Zielinski, Zbigniew}, biburl = {https://www.bibsonomy.org/bibtex/2a0f00594b4b7a5b2b1517966b9a38786/dblp}, booktitle = {FedCSIS}, crossref = {conf/fedcsis/2022}, editor = {Ganzha, Maria and Maciaszek, Leszek A. and Paprzycki, Marcin and Slezak, Dominik}, ee = {https://doi.org/10.15439/2022F169}, interhash = {bbb02c15ff0e347e80326c5fa07a7167}, intrahash = {a0f00594b4b7a5b2b1517966b9a38786}, isbn = {978-83-965897-1-2}, keywords = {dblp}, pages = {617-625}, series = {Annals of Computer Science and Information Systems}, timestamp = {2024-05-13T08:01:36.000+0200}, title = {Formal verification of security properties of the Lightweight Authentication and Key Exchange Protocol for Federated IoT devices.}, url = {http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2022.html#JaroszWZ22}, volume = 30, year = 2022 }