Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Wesley R Bezerra

1PUBLICATIONS
2CO-AUTHORS
System and network security
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

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

Frequent Collaborators

1 joint publications

Jean E Martina

1 joint publications

Carlos B Westphall

Frequent Collaborators

1 joint publications

Jean E Martina

1 joint publications

Carlos B Westphall

Top Related Videos

One Dimensional Turing-Like Handshake Test for Motor Intelligence
14:05

One Dimensional Turing-Like Handshake Test for Motor Intelligence

Published on : Dec 15, 2010

26.9K
See more related videos

Top Related Videos

One Dimensional Turing-Like Handshake Test for Motor Intelligence
14:05

One Dimensional Turing-Like Handshake Test for Motor Intelligence

Published on : Dec 15, 2010

26.9K
See more related videos