The Experts below are selected from a list of 14277 Experts worldwide ranked by ideXlab platform

Sanjay Jha - One of the best experts on this subject based on the ideXlab platform.

  • i am alice i was in wonderland Secure Location proof generation and verification protocol
    Local Computer Networks, 2016
    Co-Authors: Chitra Javali, Kasper Bonne Rasmussen, Girish Revadigar, Sanjay Jha
    Abstract:

    In recent years, the proliferation of wireless devices has contributed to the emergence of new set of applications termed as Location Based Services (LBS). LBS provide privileges to mobile users based on their proximity to a facility. In order to gain benefits, users may lie or falsely claim their Location. Hence, it is essential to verify the legitimacy of users. In this paper, we propose our novel solution for generating Location proof for mobile users and verification of the Location claim by application services. Our protocol exploits unique Wi-Fi signal characteristics and employs an information theoretically Secure fuzzy vault scheme. We provide a detailed theoretical and experimental evaluation of our protocol. Our solution is faster by an order of magnitude, and the performance of our scheme is independent of the Location tag size and distance between the mobile user and Location proof provider compared to the state-of-the-art.

  • LCN - I Am Alice, I Was in Wonderland: Secure Location Proof Generation and Verification Protocol
    2016 IEEE 41st Conference on Local Computer Networks (LCN), 2016
    Co-Authors: Chitra Javali, Kasper Bonne Rasmussen, Girish Revadigar, Sanjay Jha
    Abstract:

    In recent years, the proliferation of wireless devices has contributed to the emergence of new set of applications termed as Location Based Services (LBS). LBS provide privileges to mobile users based on their proximity to a facility. In order to gain benefits, users may lie or falsely claim their Location. Hence, it is essential to verify the legitimacy of users. In this paper, we propose our novel solution for generating Location proof for mobile users and verification of the Location claim by application services. Our protocol exploits unique Wi-Fi signal characteristics and employs an information theoretically Secure fuzzy vault scheme. We provide a detailed theoretical and experimental evaluation of our protocol. Our solution is faster by an order of magnitude, and the performance of our scheme is independent of the Location tag size and distance between the mobile user and Location proof provider compared to the state-of-the-art.

Ragib Hasan - One of the best experts on this subject based on the ideXlab platform.

  • WORAL: A Witness Oriented Secure Location Provenance Framework for Mobile Devices
    IEEE Transactions on Emerging Topics in Computing, 2016
    Co-Authors: Ragib Hasan, Rasib Khan, Shams Zawoad, Munirul Haque
    Abstract:

    Location-based services allow mobile device users to access various services based on the users’ current physical Location information. Path-critical applications, such as supply chain verification, require a chronological ordering of Location proofs. It is a significant challenge in distributed and user-centric architectures for users to prove their presence and the path of travel in a privacy-protected and Secure manner. So far, proposed schemes for Secure Location proofs are mostly subject to tampering, not resistant to collusion attacks, do not offer preservation of the provenance, and are not flexible enough for users to prove their provenance of Location proofs. In this paper, we present WORAL, a complete ready-to-deploy framework for generating and validating witness oriented asserted Location provenance records. The WORAL framework is based on the asserted Location proof protocol and the OTIT model for generating Secure Location provenance on the mobile devices. WORAL allows user-centric, collusion resistant, tamper-evident, privacy protected, verifiable, and provenance preserving Location proofs for mobile devices. This paper presents the schematic development, feasibility of usage, comparative advantage over similar protocols, and implementation of WORAL for android device users including a Google Glass-based client for enhanced usability.

  • Secure Location Provenance for Mobile Devices
    2015
    Co-Authors: Ragib Hasan, Rasib Khan, Shams Zawoad, Munirul Haque
    Abstract:

    Abstract : Location based services allow mobile device users to access various services based on the users current physical Location information. Path - critical applications, such as supply chain verification, require a chronological ordering of Location proofs. It is a significant challenge in distributed and user - centric architectures for users to prove their presence and the path of travel in a privacy - protected and Secure manner. So far, proposed schemes for Secure Location proofs are mostly subject to tampering, not resistant to collusion attacks, do not offer preservation of the provenance, and are not flexible enough for users to prove their provenance of Location proofs. In this project, we focused our research on Secure Location provenance techniques for mobile devices. We created WORAL, a complete ready - to - deploy framework for generating and validating witness oriented asserted Location provenance records. The WORAL framework is based a Secure asserted Location proof protocol and Location provenance preservation methods for generating Secure Location provenance chains on mobile devices. WORAL allows user - centric, collusion resistant, tamper - evident, privacy protected, verifiable, and provenance preserving Location proofs for mobile devices. The report presents the schematic development, experiments and results, and implementation of WORAL for Android device users including a w e arable device based client for enhanced usability.

  • AsiaCCS - OTIT: towards Secure provenance modeling for Location proofs
    Proceedings of the 9th ACM symposium on Information computer and communications security, 2014
    Co-Authors: Rasib Khan, Shams Zawoad, Munirul Haque, Ragib Hasan
    Abstract:

    Personal mobile devices and Location based services are gaining popularity every day. Since the Location based services are often customized based on the Location information, it is important to Securely generate, preserve, and validate the claim of presence at a given Location at a given time as well as Location provenance - the history of Locations for a mobile device user over a given time period. Location provenance needs to imply Secure and chronological ordering of Location proofs, which can be successfully verified at a later time. Otherwise, the Location based services can be easily spoofed by falsified Location history. In this paper, we present OTIT - a model for designing Secure Location provenance. We formalized the features and characteristics for the domain of Secure Location provenance schemes, using formal propositional logic and logical proofs. We also present several schemes, which can be used in various modes to provide Secure Location provenance services. Based on the characteristics defined in OTIT, we have analyzed different schemes to show their adherence to the desired features of Secure Location provenance. Furthermore, we present experimental results on the performance of the various schemes, in terms of time and storage, to show a comparative applicability analysis. We posit that OTIT will serve as a comprehensive benchmark framework to evaluate the models for Secure Location provenance.

  • otit towards Secure provenance modeling for Location proofs
    Computer and Communications Security, 2014
    Co-Authors: Rasib Khan, Shams Zawoad, Munirul Haque, Ragib Hasan
    Abstract:

    Personal mobile devices and Location based services are gaining popularity every day. Since the Location based services are often customized based on the Location information, it is important to Securely generate, preserve, and validate the claim of presence at a given Location at a given time as well as Location provenance - the history of Locations for a mobile device user over a given time period. Location provenance needs to imply Secure and chronological ordering of Location proofs, which can be successfully verified at a later time. Otherwise, the Location based services can be easily spoofed by falsified Location history. In this paper, we present OTIT - a model for designing Secure Location provenance. We formalized the features and characteristics for the domain of Secure Location provenance schemes, using formal propositional logic and logical proofs. We also present several schemes, which can be used in various modes to provide Secure Location provenance services. Based on the characteristics defined in OTIT, we have analyzed different schemes to show their adherence to the desired features of Secure Location provenance. Furthermore, we present experimental results on the performance of the various schemes, in terms of time and storage, to show a comparative applicability analysis. We posit that OTIT will serve as a comprehensive benchmark framework to evaluate the models for Secure Location provenance.

  • Where Have You Been? Secure Location Provenance for Mobile Devices
    arXiv: Cryptography and Security, 2011
    Co-Authors: Ragib Hasan, Randal Burns
    Abstract:

    With the advent of mobile computing, Location-based services have recently gained popularity. Many applications use the Location provenance of users, i.e., the chronological history of the users' Location for purposes ranging from access control, authentication, information sharing, and evaluation of policies. However, Location provenance is subject to tampering and collusion attacks by malicious users. In this paper, we examine the Secure Location provenance problem. We introduce a witness-endorsed scheme for generating collusion-resistant Location proofs. We also describe two efficient and privacy-preserving schemes for protecting the integrity of the chronological order of Location proofs. These schemes, based on hash chains and Bloom filters respectively, allow users to prove the order of any arbitrary subsequence of their Location history to auditors. Finally, we present experimental results from our proof-of-concept implementation on the Android platform and show that our schemes are practical in today's mobile devices.

Kasper Bonne Rasmussen - One of the best experts on this subject based on the ideXlab platform.

  • i am alice i was in wonderland Secure Location proof generation and verification protocol
    Local Computer Networks, 2016
    Co-Authors: Chitra Javali, Kasper Bonne Rasmussen, Girish Revadigar, Sanjay Jha
    Abstract:

    In recent years, the proliferation of wireless devices has contributed to the emergence of new set of applications termed as Location Based Services (LBS). LBS provide privileges to mobile users based on their proximity to a facility. In order to gain benefits, users may lie or falsely claim their Location. Hence, it is essential to verify the legitimacy of users. In this paper, we propose our novel solution for generating Location proof for mobile users and verification of the Location claim by application services. Our protocol exploits unique Wi-Fi signal characteristics and employs an information theoretically Secure fuzzy vault scheme. We provide a detailed theoretical and experimental evaluation of our protocol. Our solution is faster by an order of magnitude, and the performance of our scheme is independent of the Location tag size and distance between the mobile user and Location proof provider compared to the state-of-the-art.

  • LCN - I Am Alice, I Was in Wonderland: Secure Location Proof Generation and Verification Protocol
    2016 IEEE 41st Conference on Local Computer Networks (LCN), 2016
    Co-Authors: Chitra Javali, Kasper Bonne Rasmussen, Girish Revadigar, Sanjay Jha
    Abstract:

    In recent years, the proliferation of wireless devices has contributed to the emergence of new set of applications termed as Location Based Services (LBS). LBS provide privileges to mobile users based on their proximity to a facility. In order to gain benefits, users may lie or falsely claim their Location. Hence, it is essential to verify the legitimacy of users. In this paper, we propose our novel solution for generating Location proof for mobile users and verification of the Location claim by application services. Our protocol exploits unique Wi-Fi signal characteristics and employs an information theoretically Secure fuzzy vault scheme. We provide a detailed theoretical and experimental evaluation of our protocol. Our solution is faster by an order of magnitude, and the performance of our scheme is independent of the Location tag size and distance between the mobile user and Location proof provider compared to the state-of-the-art.

  • Secure Location Verification with Hidden and Mobile Base Stations
    IEEE Transactions on Mobile Computing, 2008
    Co-Authors: Srdjan Capkun, Kasper Bonne Rasmussen, Mario Čagalj, Mani Srivastava
    Abstract:

    In this work, we propose and analyze a new approach for securing localization and Location verification in wireless networks based on hidden and mobile base stations. Our approach enables Secure localization with a broad spectrum of localization techniques, ultrasonic or radio, based on the received signal strength or signal time of flight. Through several examples, we show how this approach can be used to Secure node-centric and infrastructure-centric localization schemes. We further show how this approach can be applied to Secure localization in mobile ad hoc and sensor networks.

Chitra Javali - One of the best experts on this subject based on the ideXlab platform.

  • i am alice i was in wonderland Secure Location proof generation and verification protocol
    Local Computer Networks, 2016
    Co-Authors: Chitra Javali, Kasper Bonne Rasmussen, Girish Revadigar, Sanjay Jha
    Abstract:

    In recent years, the proliferation of wireless devices has contributed to the emergence of new set of applications termed as Location Based Services (LBS). LBS provide privileges to mobile users based on their proximity to a facility. In order to gain benefits, users may lie or falsely claim their Location. Hence, it is essential to verify the legitimacy of users. In this paper, we propose our novel solution for generating Location proof for mobile users and verification of the Location claim by application services. Our protocol exploits unique Wi-Fi signal characteristics and employs an information theoretically Secure fuzzy vault scheme. We provide a detailed theoretical and experimental evaluation of our protocol. Our solution is faster by an order of magnitude, and the performance of our scheme is independent of the Location tag size and distance between the mobile user and Location proof provider compared to the state-of-the-art.

  • LCN - I Am Alice, I Was in Wonderland: Secure Location Proof Generation and Verification Protocol
    2016 IEEE 41st Conference on Local Computer Networks (LCN), 2016
    Co-Authors: Chitra Javali, Kasper Bonne Rasmussen, Girish Revadigar, Sanjay Jha
    Abstract:

    In recent years, the proliferation of wireless devices has contributed to the emergence of new set of applications termed as Location Based Services (LBS). LBS provide privileges to mobile users based on their proximity to a facility. In order to gain benefits, users may lie or falsely claim their Location. Hence, it is essential to verify the legitimacy of users. In this paper, we propose our novel solution for generating Location proof for mobile users and verification of the Location claim by application services. Our protocol exploits unique Wi-Fi signal characteristics and employs an information theoretically Secure fuzzy vault scheme. We provide a detailed theoretical and experimental evaluation of our protocol. Our solution is faster by an order of magnitude, and the performance of our scheme is independent of the Location tag size and distance between the mobile user and Location proof provider compared to the state-of-the-art.

Andrew H Kemp - One of the best experts on this subject based on the ideXlab platform.

  • Light-weight framework for security-sensitive wireless sensor networks applications
    IET Wireless Sensor Systems, 2013
    Co-Authors: Sana H. Jokhio, Imran Ali Jokhio, Andrew H Kemp
    Abstract:

    For certain security-sensitive wireless sensor network (WSN) applications, physical Location information of the sensor nodes must not be disclosed to any unauthorised entity. During the localisation phase for such applications the physical Locations of sensor nodes are kept secret. Globally, a number of Secure Location estimation schemes have been proposed from various perspectives, but some important constraints of sensor nodes are often ignored. The considered limitations during design of those schemes vary with respect to varying research perspective. In this study, we propose a novel security framework for Secure Location estimation of sensor nodes suitable for security-sensitive WSN applications. The proposed framework aims to provide security, scalability, adaptability and optimise power consumption during the Secure Location estimation phase of a wireless sensor network. The designed framework consists of a two-way authentication scheme, a light-weight encryption mechanism and a novel Secure key generation algorithm. The study discusses strengths of the components if used for Secure localisation individually, as well as when used together as interactive parts of a security framework for WSN applications

  • A comprehensive investigation of Secure Location estimation techniques for WSN applications
    Security and Communication Networks, 2011
    Co-Authors: Sana Hoor Arisar, Andrew H Kemp
    Abstract:

    Globally, a number of schemes have been proposed to address the challenging task of providing Secure Location estimation of sensor nodes (SNs) in a wireless sensor network (WSN) under adversarial conditions. The aim of this paper is to highlight this research work by analyzing the proposed solutions, highlighting their strengths and weaknesses. This work also provides an insight into the steps leading to the design of a novel optimized Secure Location estimation scheme. Copyright © 2010 John Wiley & Sons, Ltd.

  • Secure Location Estimation in Large Scale Wireless Sensor Networks
    2009 Third International Conference on Next Generation Mobile Applications Services and Technologies, 2009
    Co-Authors: S.h. Arisar, Andrew H Kemp
    Abstract:

    Secure communication of the Location information or localization of sensor nodes in an adversarial environment is a high priority yet a challenging task. Wireless sensor networks are characterized by severe constraints such as memory, energy, processing and operational environment. Unlike other wireless networks, a sensor network has to be highly sensitive to energy consumption. Complexity and power consumption of sensor nodes must be as low as possible. A light-weight and Secure localization mechanism is needed to optimize the WSN performance from a security perspective. In this paper we present a two-way “Greet, Meet and Locate” mechanism for Secure Location estimation in large scale wireless sensor networks based on geographical sectorization. A double-averaging mechanism is also presented that uses a time of arrival (TOA) based localization technique to help minimize the Location estimation errors.