Search Results - Wesley R. Bezerra

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic by Wesley R. Bezerra, Jean E. Martina, Carlos B. Westphall

Get full text