A Formally Validated Authentication Algorithm for Secure Message Forwarding in Smart Home Networks
Paper Details
Title
A Formally Validated Authentication Algorithm for Secure Message Forwarding in Smart Home Networks
Published Date
Jul 9, 2022
Journal
Volume
3
Issue
5
Notes
History