M.Phil / MS

Now showing 1 - 2 of 2

Design and Development of a Secure and Light Weight User Authentication Scheme for Smart Home
(Library Information Services, COMSATS University Islamabad, Lahore Campus, 2022) Shiza Gul; SP21-RCS-011; LHR TP 8060; Dr. Tariq Umer
The Internet of Things (IoT) is becoming more advanced day by day, in which smart homes provide different services of home to people. Users like the comfort of the use of home service that smart devices provide. But here is privacy and security in smart homes because smart devices and users perform communication across insecure channels. As smart devices with limited resources do not have the computing and storage capacity to create and execute existing methods that often require complicated computations, Smart Home Area Network (HAN) system experiences major problems in establishing strong authentication methods. Furthermore, the diverse nature of IoT nodes makes it difficult to create end-to-end device authentication in IoT systems. IoT devices commonly use poor authentication protocols. The primary barrier against numerous security attacks on IoT networks is authentication. To strengthen IoT privacy and security against frequent attacks like impersonation and replay attacks, this thesis analyses the research gaps and provides a new security mechanism and authentication technique. By providing a lightweight mutual-authentication and key exchange protocol for IoT based identity and continuously chained hash in HAN, this research improves IoT privacy and security. Using temporary symmetric keys and identities, devices may mutually authenticate and create a connection with the gateway node in an untraceable method. To verify the sender's identity, the Continuous chained-hash approach is presented (through a response challenge). The session keys are often updated after each data transmission to maintain forward secrecy. The proposed method provides authentication while ensuring that IoT device transactions cannot be tracked. Three different techniques are used to assess and simulate the security of the protocols; formal analysis that used the Burrows-Abadi-Needham logic (BAN), informal analysis, and model-checking that used the automated validation of Internet security protocols and applications (AVISPA) tool. The cost and effectiveness of the proposed method are evaluated and compared with other relevant protocols. The outcomes demonstrated that our techniques are more effective.
Formal Modeling and Analysis of Security Schemes in Internet of Things
(Library Information Services, COMSATS University Islamabad, Lahore Campus, 2020) Muhammad Amar Sohail; FA16-RCS-020; LHR TP 5971; Dr. Farooq Ahmad
The Internet of Things (IoT) has provided us with the notion of a smartly connected world. Internet of Things is a system in which gadgets, computing machines or mechanical devices, are connected with each other through Unique IDs. Those objects can accumulate and disseminate the packets from one node to other nodes without any human participation. As IoT is related to the network-based distributed systems such as i.e. Cloud Computing, Fog Computing, and Body Area Network etc. These networks when applied to sensitive and confidential infrastructure then the role of its security becomes very crucial. To this end, routing strategy is responsible and literature suggests different techniques for security and privacy in IoT Systems. Formal modeling of a system can help us to check the reliability, accuracy and consistency of the system. Colored Petri Nets is graphic-based language and it has taken premium space in design and specification, validation and verification of systems which are concurrent in its behavior. Security Scheme is the mechanism of securing a network system by setting up routing strategy through topology. Analysing the attacks and mitigating them is a small subset of security schemes. In this study Routing over Low Power and Lossy networks (RPL) is used as a case study and the aim was to present the idea of translation of into formal language and ultimately analyze its security with the means of Formal Specification Methods. RPL is an IPv6 protocol and prominent for the routing in Internet of Things. Eventually, the focus will be shifted towards the evaluation of the existing security standards for RPL through formal validation and verification to check if those standards can achieve the desired security level.

M.Phil / MS

Browse

Filters

Settings

Sort By

Results per page

Search Results