A Formally Validated Authentication Algorithm for Secure Message Forwarding in Smart Home Networks
Vincent Omollo Nyangaresi
Topics & Concepts
Computer scienceComputer securitySession keyComputer networkMutual authenticationRobustness (evolution)Authentication (law)Key (lock)Network packetElliptic curve cryptographyPublic-key cryptographyAdversaryEncryptionChemistryBiochemistryGeneUser Authentication and Security SystemsBlockchain Technology Applications and SecurityAdvanced Authentication Protocols Security