Wilson, Preethy2017-05-182017-05-1820172017-05-18http://hdl.handle.net/1828/8139The Internet of things (IoT) recently blossomed remarkably and has been transforming the everyday physical entities around us into an ecosystem of information that will enrich our lives in unimaginable ways. Authentication is one of the primary goals of security in the IoT and acts as the main gateway to a secure system which transmits confidential and/or private data.This thesis focuses on a Device-to-Device Mutual Authentication Protocol, designed for the smart home network, which is an essential component of communication in the Internet of Things(IoT). The protocol has been developed based on asymmetric cryptography to authenticate the devices in the network and for the devices to agree on a shared secret session key. In order to ensure the security of a communications session between the devices, the session keys are changed frequently - ideally after every communication session. The proposed scheme has been programmed in HLPSL, simulated and its efficiency verified using the SPAN/ AVISPA tool. When SPAN substantiates the protocol simulation and the attacker simulation, the back-ends of the AVISPA tool verifies the safety and security of the proposed authentication protocol. The thesis also evaluates the protocol's security against the attacks successful against protocols proposed by other researchers.enAvailable to the World Wide WebAuthenticationInternet of Things (IoT)Smart HomesSmart Home NetworkAVISPA/SPANAVISPAInternet SecurityCryptographyEncryptionAsymmetric CryptographyShared Session KeyPrivate KeyPublic KeyCloudFogSecurityHLPSLQuality MetricsSimulationProtocol SimulationAttacker SimulationFormal VerificationVerificationMulti-protocol AttackReflection AttackOFMCCL-AtSeCommunicationComputingMutual AuthenticationDevice-to-deviceinter-devicemachine-to-machineAttacksThesis