ArticleSensors (Basel, Switzerland)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 et al.PubMed ↗Full text ↗Publisher ↗

No numbers read from the abstract.