%0 Journal Article %1 journals/sensors/BezerraMW23 %A dos Reis Bezerra, Wesley %A Martina, Jean Everson %A Westphall, Carlos Becker %D 2023 %J Sensors %K dblp %N 15 %P 6933 %T A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. %U http://dblp.uni-trier.de/db/journals/sensors/sensors23.html#BezerraMW23 %V 23

@article{journals/sensors/BezerraMW23, added-at = {2024-01-26T00:00:00.000+0100}, author = {dos Reis Bezerra, Wesley and Martina, Jean Everson and Westphall, Carlos Becker}, biburl = {https://www.bibsonomy.org/bibtex/2a0831ded921b4086509ae1158678134f/dblp}, ee = {https://doi.org/10.3390/s23156933}, interhash = {3406629d1339707538d78163e6b1166e}, intrahash = {a0831ded921b4086509ae1158678134f}, journal = {Sensors}, keywords = {dblp}, month = {August}, number = 15, pages = 6933, timestamp = {2024-04-09T04:14:23.000+0200}, title = {A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/sensors/sensors23.html#BezerraMW23}, volume = 23, year = 2023 }