Wesley R Bezerra
1PUBLICATIONS
2CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Aug 12, 2023
A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic.Wesley R Bezerra, Jean E Martina, Carlos B Westphall
Pageof 1
