A Secure and Efficient ECC-Based Anonymous Authentication Protocol

Wang, Feifei; Xu, Guizhi; Gu, Lixu

doi:10.1155/2019/4656281

Cited by 13 publications

(16 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recently, data transmission and protection of the user from various security attacks, the user authentication Wireless Communications and Mobile Computing protocol plays an integral role in ensuring security. Wang et al [28] discovered two authentication security schemes that are not fully claimed and fail to provide secure communication, such as password guessing, session key disclosure, impersonation assaults, and user anonymity. In [28] eliminated the security threats from the existing scheme.…”

Section: Related Workmentioning

confidence: 99%

“…Wang et al [28] discovered two authentication security schemes that are not fully claimed and fail to provide secure communication, such as password guessing, session key disclosure, impersonation assaults, and user anonymity. In [28] eliminated the security threats from the existing scheme. The proposed improved authentication scheme based on the elliptic curve cryptosystem, performing analysis, proves that security scheme in [28] was better than existing schemes in terms of security, computation cost, and communication cost.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Secure Message Transmission for V2V Based on Mutual Authentication for VANETs

Mahmood

Duan

Xue

et al. 2021

Wireless Communications and Mobile Computing

View full text Add to dashboard Cite

The advancements in Vehicular Ad Hoc Networks (VANETs) require more intelligent security protocols that ultimately provide unbreakable security to vehicles and other components of VANETs. VANETs face various types of security pitfalls due to the openness characteristics of the VANET communication infrastructure. Researchers have recently proposed different mutual authentication schemes that address security and privacy issues in vehicle-to-vehicle (V2V) communication. However, some V2V security schemes suffer from inadequate design and are hard to implement practically. In addition, some schemes face vehicle traceability and lack anonymity. Hence, this paper’s primary goal is to enhance privacy preservation through mutual authentication and to achieve better security and performance. Therefore, this article first describes the vulnerabilities of a very recent authentication scheme presented by Vasudev et al. Our analysis proves that the design of Vasudev et al.’s scheme is incorrect, and resultantly, the scheme does not provide mutual authentication between a vehicle and vehicle server when multiple vehicles are registered with the vehicle sever. Furthermore, this paper proposes a secure message transmission scheme for V2V in VANETs. The proposed scheme fulfills the security and performance requirements of VANETs. The security analysis of the proposed scheme using formal BAN and informal discussion on security features confirm that the proposed scheme fulfills the security requirements, and the performance comparisons show that the proposed scheme copes with the lightweightness requirements of VANETs.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Secure Message Transmission for V2V Based on Mutual Authentication for VANETs

Mahmood

Duan

Xue

et al. 2021

Wireless Communications and Mobile Computing

View full text Add to dashboard Cite

show abstract

“…BAN logic is constantly improved in application. Today, BAN logic is still used as a verification tool for security protocols or authentication protocols in radio frequency identification systems [13], Internet of things systems [14,15], and remote authentication protocols [16].…”

Section: Related Workmentioning

confidence: 99%

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic

Chen

Deng

2020

Applied Sciences

View full text Add to dashboard Cite

The security of cryptographic protocols has always been an important issue. Although there are various verification schemes of protocols in the literature, efficiently and accurately verifying cryptographic protocols is still a challenging research task. In this work, we develop a formal method based on dynamic epistemic logic to analyze and describe cryptographic protocols. In particular, we adopt the action model to depict the execution process of the protocol. To verify the security, the intruder’s actions are analyzed. We model exactly the protocol applying our formal language and give the verification models according to the security requirements of this cryptographic protocol. With analysis and proof on a selected example, we show the usefulness of our method. The result indicates that the selected protocol meets the security requirements.

show abstract

“…Related Works. Since Lamport [4] presented the first password authentication scheme, a large number of schemes [5][6][7][8][9][10][11][12][13][14][15][16][17][18] that are applicable to different scenarios, adopt differ-ent cryptosystems, and employ different kinds of authentication factors were presented. In 2001, Li et al [17] presented the first multiserver authentication scheme, in which the user can register once and then access multiple servers with a pair of identity and password.…”

Section: Introductionmentioning

confidence: 99%

Provably Secure ECC‐Based Three‐Factor Authentication Scheme for Mobile Cloud Computing with Offline Registration Centre

Luo

Wang

2021

Wireless Communications and Mobile Computing

Self Cite

View full text Add to dashboard Cite

Mobile cloud computing (MCC) aims at solving the resource constrain problem of smart mobile devices. It has deeply affected the way modern humans live and work. In MCC, the authentication scheme is indispensable to prevent illegal attacks and privacy breaches. In this paper, we reveal that a recently proposed two-factor authentication scheme for MCC has limitations like stolen-verifier attack and denial of service attack. In addition, its single-server architecture is not applicable to MCC. To enhance the security, we present a provably secure three-factor authentication scheme using the elliptic curve cryptosystem (ECC). It has the merit that the user only needs to register once to access multiple servers with a pair of public and private key, and the registration center is offline in the authentication phase. Security analysis demonstrates that our scheme is immune to known attacks and provides user friendliness. Finally, performance comparisons indicate that our scheme has better security attributes and low computing and communication overheads, and it is more applicable to MCC.

show abstract

A Secure and Efficient ECC-Based Anonymous Authentication Protocol

Cited by 13 publications

References 36 publications

Secure Message Transmission for V2V Based on Mutual Authentication for VANETs

Secure Message Transmission for V2V Based on Mutual Authentication for VANETs

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic

Provably Secure ECC‐Based Three‐Factor Authentication Scheme for Mobile Cloud Computing with Offline Registration Centre

Contact Info

Product

Resources

About