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

Willy Susilo - One of the best experts on this subject based on the ideXlab platform.

  • secure message communication protocol among vehicles in smart city
    IEEE Transactions on Vehicular Technology, 2018
    Co-Authors: Amit Dua, Neeraj Kumar, Ashok Kumar Das, Willy Susilo
    Abstract:

    Secure messages exchange among different vehicles is one of the most challenging tasks in future smart cities. Any malicious activity has the potential to compromise the confidentiality, integrity, and authenticity of messages exchanged between different vehicles. To ensure secure message communication among the vehicles in a smart city environment, a novel scheme using elliptic curve cryptographic (ECC) technique has been presented in this paper. For this purpose, a two-Level Authentication key exchange scheme has been designed. In the first Level Authentication, $\text{CH}$ s are verified by series of messages exchanged between $\text{CH}$ s and the $\text{CA}$ . The verified $\text{CH}$ s are responsible for Authentication of vehicles in the second Level Authentication, followed by exchange of messages between $\text{CH}$ and vehicle. The security analysis using widely accepted Burrows–Abadi–Needham logic, formal security analysis using random oracle model and verification using the widely known automated validation of Internet security protocols and applications (AVISPA) tool, and also the informal security analysis have been done with respect to various types of attacks. Moreover, a comparative analysis of the proposed scheme with existing related schemes reveals that it generates low overhead and latency, and high reliability during messages exchange between vehicles and the $\text{CA}$ .

  • Secure Message Communication Protocol Among Vehicles in Smart City
    IEEE Transactions on Vehicular Technology, 2018
    Co-Authors: Amit Dua, Neeraj Kumar, Ashok Kumar Das, Willy Susilo
    Abstract:

    Secure messages exchange among different vehicles is one of the most challenging tasks in future smart cities. Any malicious activity has the potential to compromise the confidentiality, integrity, and authenticity of messages exchanged between different vehicles. To ensure secure message communication among the vehicles in a smart city environment, a novel scheme using elliptic curve cryptographic (ECC) technique has been presented in this paper. For this purpose, a two-Level Authentication key exchange scheme has been designed. In the first Level Authentication, CH s are verified by series of messages exchanged between CHs and the CA. The verified CHs are responsible for Authentication of vehicles in the second Level Authentication, followed by exchange of messages between CH and vehicle. The security analysis using widely accepted Burrows-Abadi-Needham logic, formal security analysis using random oracle model and verification using the widely known automated validation of Internet security protocols and applications (AVISPA) tool, and also the informal security analysis have been done with respect to various types of attacks. Moreover, a comparative analysis of the proposed scheme with existing related schemes reveals that it generates low overhead and latency, and high reliability during messages exchange between vehicles and the CA.

Amit Dua - One of the best experts on this subject based on the ideXlab platform.

  • secure message communication protocol among vehicles in smart city
    IEEE Transactions on Vehicular Technology, 2018
    Co-Authors: Amit Dua, Neeraj Kumar, Ashok Kumar Das, Willy Susilo
    Abstract:

    Secure messages exchange among different vehicles is one of the most challenging tasks in future smart cities. Any malicious activity has the potential to compromise the confidentiality, integrity, and authenticity of messages exchanged between different vehicles. To ensure secure message communication among the vehicles in a smart city environment, a novel scheme using elliptic curve cryptographic (ECC) technique has been presented in this paper. For this purpose, a two-Level Authentication key exchange scheme has been designed. In the first Level Authentication, $\text{CH}$ s are verified by series of messages exchanged between $\text{CH}$ s and the $\text{CA}$ . The verified $\text{CH}$ s are responsible for Authentication of vehicles in the second Level Authentication, followed by exchange of messages between $\text{CH}$ and vehicle. The security analysis using widely accepted Burrows–Abadi–Needham logic, formal security analysis using random oracle model and verification using the widely known automated validation of Internet security protocols and applications (AVISPA) tool, and also the informal security analysis have been done with respect to various types of attacks. Moreover, a comparative analysis of the proposed scheme with existing related schemes reveals that it generates low overhead and latency, and high reliability during messages exchange between vehicles and the $\text{CA}$ .

  • Secure Message Communication Protocol Among Vehicles in Smart City
    IEEE Transactions on Vehicular Technology, 2018
    Co-Authors: Amit Dua, Neeraj Kumar, Ashok Kumar Das, Willy Susilo
    Abstract:

    Secure messages exchange among different vehicles is one of the most challenging tasks in future smart cities. Any malicious activity has the potential to compromise the confidentiality, integrity, and authenticity of messages exchanged between different vehicles. To ensure secure message communication among the vehicles in a smart city environment, a novel scheme using elliptic curve cryptographic (ECC) technique has been presented in this paper. For this purpose, a two-Level Authentication key exchange scheme has been designed. In the first Level Authentication, CH s are verified by series of messages exchanged between CHs and the CA. The verified CHs are responsible for Authentication of vehicles in the second Level Authentication, followed by exchange of messages between CH and vehicle. The security analysis using widely accepted Burrows-Abadi-Needham logic, formal security analysis using random oracle model and verification using the widely known automated validation of Internet security protocols and applications (AVISPA) tool, and also the informal security analysis have been done with respect to various types of attacks. Moreover, a comparative analysis of the proposed scheme with existing related schemes reveals that it generates low overhead and latency, and high reliability during messages exchange between vehicles and the CA.

Hongyi Chen - One of the best experts on this subject based on the ideXlab platform.

  • Hierarchical multiLevel Authentication system for multiple-image based on phase retrieval and basic vector operations
    Optics and Lasers in Engineering, 2016
    Co-Authors: Xianye Li, Xuemei Pan, Xiulun Yang, Guoyan Dong, Wenqi He, Yongkai Yin, Xiang Peng, Xiangfeng Meng, Yurong Wang, Hongyi Chen
    Abstract:

    A hierarchical multiLevel Authentication system for multiple-image based on phase retrieval and basic vector operations in the Fresnel domain is proposed, by which more certification images are iteratively encoded into multiple cascaded phase masks according to different hierarchical Levels. Based on the secret sharing algorithm by basic vector decomposition and composition operations, the iterated phase distributions are split into n pairs of shadow images keys (SIKs), and then distributed to n different participants (the authenticators). During each Level in the high Authentication process, any 2 or more participants can be gathered to reconstruct the original meaningful certification images. While in the case of each Level in the low Authentication process, only one authenticator who possesses a correct pair of SIKs, will gain no significant information of certification image; however, it can result in a remarkable peak output in the nonlinear correlation coefficient of the recovered image and the standard certification image, which can successfully provide an additional Authentication layer for the high-Level Authentication. Theoretical analysis and numerical simulations both verify the feasibility of the proposed method.

  • multiple image Authentication with a cascaded multiLevel architecture based on amplitude field random sampling and phase information multiplexing
    Applied Optics, 2015
    Co-Authors: Desheng Fan, Xuemei Pan, Xiulun Yang, Guoyan Dong, Xiang Peng, Xiangfeng Meng, Yurong Wang, Hongyi Chen
    Abstract:

    A multiple-image Authentication method with a cascaded multiLevel architecture in the Fresnel domain is proposed, in which a synthetic encoded complex amplitude is first fabricated, and its real amplitude component is generated by iterative amplitude encoding, random sampling, and space multiplexing for the low-Level certification images, while the phase component of the synthetic encoded complex amplitude is constructed by iterative phase information encoding and multiplexing for the high-Level certification images. Then the synthetic encoded complex amplitude is iteratively encoded into two phase-type ciphertexts located in two different transform planes. During high-Level Authentication, when the two phase-type ciphertexts and the high-Level decryption key are presented to the system and then the Fresnel transform is carried out, a meaningful image with good quality and a high correlation coefficient with the original certification image can be recovered in the output plane. Similar to the procedure of high-Level Authentication, in the case of low-Level Authentication with the aid of a low-Level decryption key, no significant or meaningful information is retrieved, but it can result in a remarkable peak output in the nonlinear correlation coefficient of the output image and the corresponding original certification image. Therefore, the method realizes different Levels of accessibility to the original certification image for different authority Levels with the same cascaded multiLevel architecture.

Ashok Kumar Das - One of the best experts on this subject based on the ideXlab platform.

  • secure message communication protocol among vehicles in smart city
    IEEE Transactions on Vehicular Technology, 2018
    Co-Authors: Amit Dua, Neeraj Kumar, Ashok Kumar Das, Willy Susilo
    Abstract:

    Secure messages exchange among different vehicles is one of the most challenging tasks in future smart cities. Any malicious activity has the potential to compromise the confidentiality, integrity, and authenticity of messages exchanged between different vehicles. To ensure secure message communication among the vehicles in a smart city environment, a novel scheme using elliptic curve cryptographic (ECC) technique has been presented in this paper. For this purpose, a two-Level Authentication key exchange scheme has been designed. In the first Level Authentication, $\text{CH}$ s are verified by series of messages exchanged between $\text{CH}$ s and the $\text{CA}$ . The verified $\text{CH}$ s are responsible for Authentication of vehicles in the second Level Authentication, followed by exchange of messages between $\text{CH}$ and vehicle. The security analysis using widely accepted Burrows–Abadi–Needham logic, formal security analysis using random oracle model and verification using the widely known automated validation of Internet security protocols and applications (AVISPA) tool, and also the informal security analysis have been done with respect to various types of attacks. Moreover, a comparative analysis of the proposed scheme with existing related schemes reveals that it generates low overhead and latency, and high reliability during messages exchange between vehicles and the $\text{CA}$ .

  • Secure Message Communication Protocol Among Vehicles in Smart City
    IEEE Transactions on Vehicular Technology, 2018
    Co-Authors: Amit Dua, Neeraj Kumar, Ashok Kumar Das, Willy Susilo
    Abstract:

    Secure messages exchange among different vehicles is one of the most challenging tasks in future smart cities. Any malicious activity has the potential to compromise the confidentiality, integrity, and authenticity of messages exchanged between different vehicles. To ensure secure message communication among the vehicles in a smart city environment, a novel scheme using elliptic curve cryptographic (ECC) technique has been presented in this paper. For this purpose, a two-Level Authentication key exchange scheme has been designed. In the first Level Authentication, CH s are verified by series of messages exchanged between CHs and the CA. The verified CHs are responsible for Authentication of vehicles in the second Level Authentication, followed by exchange of messages between CH and vehicle. The security analysis using widely accepted Burrows-Abadi-Needham logic, formal security analysis using random oracle model and verification using the widely known automated validation of Internet security protocols and applications (AVISPA) tool, and also the informal security analysis have been done with respect to various types of attacks. Moreover, a comparative analysis of the proposed scheme with existing related schemes reveals that it generates low overhead and latency, and high reliability during messages exchange between vehicles and the CA.

Neeraj Kumar - One of the best experts on this subject based on the ideXlab platform.

  • secure message communication protocol among vehicles in smart city
    IEEE Transactions on Vehicular Technology, 2018
    Co-Authors: Amit Dua, Neeraj Kumar, Ashok Kumar Das, Willy Susilo
    Abstract:

    Secure messages exchange among different vehicles is one of the most challenging tasks in future smart cities. Any malicious activity has the potential to compromise the confidentiality, integrity, and authenticity of messages exchanged between different vehicles. To ensure secure message communication among the vehicles in a smart city environment, a novel scheme using elliptic curve cryptographic (ECC) technique has been presented in this paper. For this purpose, a two-Level Authentication key exchange scheme has been designed. In the first Level Authentication, $\text{CH}$ s are verified by series of messages exchanged between $\text{CH}$ s and the $\text{CA}$ . The verified $\text{CH}$ s are responsible for Authentication of vehicles in the second Level Authentication, followed by exchange of messages between $\text{CH}$ and vehicle. The security analysis using widely accepted Burrows–Abadi–Needham logic, formal security analysis using random oracle model and verification using the widely known automated validation of Internet security protocols and applications (AVISPA) tool, and also the informal security analysis have been done with respect to various types of attacks. Moreover, a comparative analysis of the proposed scheme with existing related schemes reveals that it generates low overhead and latency, and high reliability during messages exchange between vehicles and the $\text{CA}$ .

  • Secure Message Communication Protocol Among Vehicles in Smart City
    IEEE Transactions on Vehicular Technology, 2018
    Co-Authors: Amit Dua, Neeraj Kumar, Ashok Kumar Das, Willy Susilo
    Abstract:

    Secure messages exchange among different vehicles is one of the most challenging tasks in future smart cities. Any malicious activity has the potential to compromise the confidentiality, integrity, and authenticity of messages exchanged between different vehicles. To ensure secure message communication among the vehicles in a smart city environment, a novel scheme using elliptic curve cryptographic (ECC) technique has been presented in this paper. For this purpose, a two-Level Authentication key exchange scheme has been designed. In the first Level Authentication, CH s are verified by series of messages exchanged between CHs and the CA. The verified CHs are responsible for Authentication of vehicles in the second Level Authentication, followed by exchange of messages between CH and vehicle. The security analysis using widely accepted Burrows-Abadi-Needham logic, formal security analysis using random oracle model and verification using the widely known automated validation of Internet security protocols and applications (AVISPA) tool, and also the informal security analysis have been done with respect to various types of attacks. Moreover, a comparative analysis of the proposed scheme with existing related schemes reveals that it generates low overhead and latency, and high reliability during messages exchange between vehicles and the CA.