doi.org/10.1007/s42979-022-01269-9

A Formally Validated Authentication Algorithm for Secure Message Forwarding in Smart Home Networks

Vincent Omollo Nyangaresi
30
SN Computer Science
Volume: 3, Issue: 5
Published: Jul 9, 2022
Paper Fields
Paper Details
Title
A Formally Validated Authentication Algorithm for Secure Message Forwarding in Smart Home Networks
DOI
doi.org/10.1007/s42979-022-01269-9
Published Date
Jul 9, 2022
Journal
SN Computer Science
Volume
3
Issue
5
© 2025 Pluto Labs All rights reserved.