The DOI matches its Crossref record; 27 of the 27 references it cites were found in a registry or an index.
b-SPECS+: Batch Verification for Secure Pseudonymous Authentication in VANET
Abstract
The security and privacy preservation issues are prerequisites for vehicular ad hoc networks. Recently, secure and privacy enhancing communication schemes (SPECS) was proposed and focused on intervehicle communications. SPECS provided a software-based solution to satisfy the privacy requirement and gave lower message overhead and higher successful rate than previous solutions in the message verification phase. SPECS also presented the first group communication protocol to allow vehicles to authenticate and securely communicate with others in a group of known vehicles. Unfortunately, we find out that SPECS is vulnerable to impersonation attack. SPECS has a flow such that a malicious vehicle can force arbitrary vehicles to broadcast fake messages to other vehicles or even a malicious vehicle in the group can counterfeit another group member to send fake messages securely among themselves. In this paper, we provide a secure scheme that can achieve the security and privacy requirements, and overcome the weaknesses of SPECS. Moreover, we show the efficiency merits of our scheme through performance evaluations in terms of verification delay and transmission overhead.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Identity-Based Encryption from the Weil Pairing
Boneh, D., & Franklin, M. (2001) · Lecture Notes in Computer Science · doi:10.1007/3-540-44647-8_13 · Cited by 7,060
Random oracles are practical: a paradigm for designing efficient protocols
Bellare, M., & Rogaway, P. (1993) · Proceedings of the 1st ACM conference on Computer and communications security - CCS '93 · doi:10.1145/168588.168596 · Cited by 4,712
Short Signatures from the Weil Pairing
Boneh, D., Lynn, B., & Shacham, H. (2001) · Lecture Notes in Computer Science · doi:10.1007/3-540-45682-1_30 · Cited by 2,993
Handbook of Applied Cryptography
Menezes, A. J., van Oorschot, P. C., & Vanstone, S. A. (2018) · CRC Press eBooks · doi:10.1201/9781439821916 · Cited by 2,896
Security Arguments for Digital Signatures and Blind Signatures
Pointcheval, D., & Stern, J. (2000) · Journal of Cryptology · doi:10.1007/s001450010003 · Cited by 2,209
Aggregate and Verifiably Encrypted Signatures from Bilinear Maps
Boneh, D., Gentry, C., Lynn, B., & Shacham, H. (2003) · Lecture Notes in Computer Science · doi:10.1007/3-540-39200-9_26 · Cited by 1,821
Securing vehicular ad hoc networks
Raya, M., & Hubaux, J.-P. (2007) · Journal of Computer Security · doi:10.3233/jcs-2007-15103 · Cited by 1,709
The security of vehicular ad hoc networks
Raya, M., & Hubaux, J.-P. (2005) · Proceedings of the 3rd ACM workshop on Security of ad hoc and sensor networks · doi:10.1145/1102219.1102223 · Cited by 978
GSIS: A Secure and Privacy-Preserving Protocol for Vehicular Communications
Lin, X., Sun, X., Ho, P.-H., & Shen, X. (2007) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2007.906878 · Cited by 917
US Secure Hash Algorithm 1 (SHA1)
Eastlake, D., & Jones, P. (2001) · doi:10.17487/rfc3174 · Cited by 908
Cited by
A Survey on Blockchain Technology: Evolution, Architecture and Security
Bhutta, M. N. M., Khwaja, A. A., Nadeem, A., Ahmad, H. F., Khan, M. K., Hanif, M. A., Song, H., Alshamari, M., & Cao, Y. (2021) · IEEE Access · doi:10.1109/access.2021.3072849 · Cited by 522
Self-citationA Security and Privacy Review of VANETs
Qu, F., Wu, Z., Wang, F., & Cho, W. (2015) · IEEE Transactions on Intelligent Transportation Systems · doi:10.1109/tits.2015.2439292 · Cited by 478
Zhang, J., Cui, J., Zhong, H., Chen, Z., & Liu, L. (2021) · IEEE Transactions on Dependable and Secure Computing · doi:10.1109/tdsc.2019.2904274 · Cited by 341
A survey on authentication schemes in VANETs for secured communication
Manvi, S. S., & Tangade, S. (2017) · Vehicular Communications · doi:10.1016/j.vehcom.2017.02.001 · Cited by 311
A review on safety failures, security attacks, and available countermeasures for autonomous vehicles
Cui, J., Liew, L. S., Sabaliauskaite, G., & Zhou, F. (2019) · Ad Hoc Networks · doi:10.1016/j.adhoc.2018.12.006 · Cited by 298
Metadata
- Authors
- Horng, S.-J., Tzeng, S.-F., Pan, Y., Fan, P., Wang, X., Li, T., & Khan, M. K.
- Venue
- IEEE Transactions on Information Forensics and Security
- Published
- 2013-11
- Volume
- 8
- Issue
- 11
- Pages
- 1860-1875
- ISSN
- 1556-6013 (ISSN-L)
- 1556-6021
- OpenAlex
- W1965058431
- Cited by
- 268
- References
- 27
- FWCI
- 4.79
- Type
- journal article
- Language
- en
- Open access
- closed
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: b-SPECS+: Batch Verification for Secure Pseudonymous Authentication in VANET. https://app.cochat.ai/papers/10.1109/tifs.2013.2277471
- The paper
- Horng, S.-J., Tzeng, S.-F., Pan, Y., Fan, P., Wang, X., Li, T., & Khan, M. K. (2013). b-SPECS+: Batch Verification for Secure Pseudonymous Authentication in VANET. IEEE Transactions on Information Forensics and Security. https://doi.org/10.1109/tifs.2013.2277471
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
