跳到主要內容

簡易檢索 / 詳目顯示

研究生: 張育慈
Chang, Yu-Tzu
論文名稱: 具屬性存取控制之車載數位證據保全機制研究
Study on Digital Evidence Preservation Protocols with Attribute-Based Access Control for VANET Environments
指導教授: 左瑞麟
Tso, Ray-Lin
許建隆
Hsu, Chien-Lung
口試委員: 左瑞麟
Tso, Ray-Lin
許建隆
Hsu, Chien-Lung
高大宇
Kao, Da-Yu
許見章
Hsu, Chien-Chang
黃正達
Huang, Cheng-Ta
學位類別: 碩士
Master
系所名稱: 資訊學院 - 資訊安全碩士學位學程
Master Program in Information Security
論文出版年: 2026
畢業學年度: 114
語文別: 英文
論文頁數: 94
中文關鍵詞: 車載隨意行動網路屬性加密區塊鏈簽章鏈
外文關鍵詞: VANET, Attribute-Based Encryption (ABE), Blockchain, Signature chain
相關次數: 點閱:3下載:0
分享至:
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報
  • 智慧車輛在行駛與事故過程中所產生的資料,已廣泛應用於事故鑑定、保險評估與第三方服務等不同場景,此類資料具有法律效力並涉及個人隱私,若未經妥善保存,可能遭到篡改、偽造或未授權存取,進而影響調查結果的可信度與法律效力。此外,不同應用情境對資料存取控制具有不同需求,例如,司法與監管情境通常需要由授權機關主導證據取得,而商業應用則更重視資料擁有者對資料揭露範圍的控制。因此,本論文針對車載隨意行動網路(VehicularAdHocNetwork, VANET)環境中的兩類存取控制需求,提出兩種車載數位證據保全機制。第一種為監管式機制,採用金鑰政策屬性式加密(Key-Policy Attribute-Based Encryption, KP-ABE),使可信任機構能在司法、監管與事故調查情境中執行授權控管。第二種為自主式機制,採用密文政策屬性式加密(Ciphertext-Policy Attribute-Based Encryption, CP-ABE),使資料擁有者能將存取政策直接嵌入密文中,以支援使用量型保險與連網車輛服務等商業應用。兩種機制皆結合BLS聚合簽章鏈、Merkle tree 批次聚合、混合式私有鏈與公有鏈架構,以及假名身分管理機制。透過聚合簽章,可建立可驗證的證據保管鏈;證據雜湊值則經由Merkle tree 聚合後錨定至區塊鏈,以降低鏈上儲存負擔,並維持證據完整性與外部可驗證性。此外,假名機制可在保護車輛身分隱私的同時,保留可信任機構於合法授權條件下進行身分追蹤的能力。最後,安全分析與形式化驗證結果顯示,所提出之機制能在VANET環境中實現具隱私保護與可驗證性的車載數位證據保全。


    Vehicular data generated during driving and crash events are used across multiple domains including accident reconstruction, insurance assessment, and regulatory supervision, each imposing different access requirements. As these data carry legal and privacy implications, they must be preserved in a manner that prevents tampering, unauthorized access, and identity exposure while remaining verifiable by authorized parties.
    This thesis proposes two complementary schemes for Vehicular Ad Hoc Network (VANET) environments. The regulated scheme uses Key-Policy Attribute-Based Encryption (KP-ABE) to support authority-enforced access control in judicial and supervisory scenarios. The owner-controlled scheme uses Ciphertext-Policy Attribute-Based Encryption (CP-ABE) to allow data owners to embed access policies directly into ciphertexts for commercial applications such as usage-based insurance and connected-vehicle services. Both schemes construct a verifiable custody chain, batch evidence hashes into Merkle trees anchored on a hybrid private-public blockchain, and employ pseudonyms to protect vehicle identity while retaining lawful traceability. Security analysis and formal verification using ProVerif confirm that the proposed schemes achieve privacy-preserving and verifiable evidence preservation in VANET environments.

    誌謝 i
    摘要 ii
    Abstract iii
    Contents iv
    List of Figures vi
    List of Tables vii
    1 Introduction 1
    1.1 Motivation 2
    1.2 Contribution 4
    1.3 Organization 5
    2 Related Works 7
    2.1 Vehicular Digital Forensics (VDF) 7
    2.2 Attribute-Based Encryption (ABE) 8
    2.3 Blockchain-Based Data Sharing 11
    3 Preliminaries 13
    3.1 Bilinear Map 13
    3.2 Linear Secret Sharing Scheme (LSSS) 13
    3.3 Boneh–Lynn–Shacham (BLS) Signature 16
    3.4 Complexity Assumptions 17
    3.5 Vehicular Evidence Data Classification 18
    4 Regulated Vehicular Digital Evidence Preservation Scheme (R-VDEPS) 21
    4.1 System Model of R-VDEPS 21
    4.2 Hybrid Blockchain Model 25
    4.3 Construction of R-VDEPS 26
    4.4 Illustrative Example of R-VDEPS 36
    4.5 Security Analysis of R-VDEPS 43
    4.6 Performance Analysis of R-VDEPS 49
    5 Owner-Controlled Vehicular Digital Evidence Preservation Scheme (OC-VDEPS) 53
    5.1 System Model of OC-VDEPS 53
    5.2 Construction of OC-VDEPS 57
    5.3 Illustrative Example of OC-VDEPS 60
    5.4 Security Analysis of OC-VDEPS 68
    5.5 Performance Analysis of OC-VDEPS 72
    6 Conclusion and Future Works 79
    6.1 Conclusion 79
    6.2 Future Works 80
    References 81
    Appendix A. Vehicular Evidence Data Classification 86
    Appendix B. Proverif code for R-VDEPS 93
    Appendix C. Proverif code for OC-VDEPS 94

    A. Biswas and H.-C. Wang, “Autonomous Vehicles Enabled by the Integration of IoT, Edge Intelligence, 5G, and Blockchain,” Sensors, vol. 23, no. 4, 2023.
    G. Thumbur, G. S. Rao, P. V. Reddy, N. B. Gayathri, D. V. R. K. Reddy, and M. Padmavathamma, “Efficient and Secure Certificateless Aggregate Signature-Based Authentication Scheme for Vehicular Ad Hoc Networks,” IEEE Internet of Things Journal, vol. 8, no. 3, 2020.
    P. Baecke and L. Bocca, “The value of vehicle telematics data in insurance risk selection processes,” Decision Support Systems, vol. 98, pp. 69 – 79, 2017.
    J. Boylan, D. Meyer, and W. S. Chen, “A systematic review of the use of in-vehicle telematics,” Accident Analysis Prevention, vol. 199, 2024.
    D. Piromalis and A. Kantaros, “Digital Twins in the Automotive Industry: The Road toward Physical-Digital Convergence,” Applied System Innovation, vol. 5, no. 4, 2022.
    V. Shirole, A. K. Shahade, and P. V. Deshmukh, “A comprehensive review on data-driven driver behaviour scoring in vehicles: Technologies, challenges and future directions,” Discover Artificial Intelligence, 2025.
    Z. Wang, J. Wang, Y. Liu, X. Yang, F. Qi, and W. Song, “Privacy-Preserving Attribute-Based Access Control Scheme With Intrusion Detection and Policy Hiding for Data Sharing in VANET,” IEEE Internet of Things Journal, vol. 11, no. 13, 2024.
    C. Zhao, L. Zhang, Q. Wu, and F. Rezaeibagha, “Publicly Accountable Data-Sharing Scheme Supporting Privacy Protection for Fog-Enabled VANETs,” IEEE Transactions on Vehicular Technology, vol. 73, no. 6, 2024.
    J. Zhang, K. Zheng, D. Zhang, and B. Yan, “AATMS: An Anti-Attack Trust Management Scheme in VANET,” IEEE Access, vol. 8, 2020.
    UNECE, “UN Regulation No. 155: Cyber Security and Cyber Security Management System,” United Nations Economic Commission for Europe, Tech. Rep., 2021.
    International Organization for Standardization, “ISO/SAE 21434:2021 Road Vehicles - Cybersecurity Engineering,” ISO, Geneva, Switzerland, Tech. Rep., 2021.
    International Organization for Standardization, “ISO/IEC 27002:2022 Information Security, Cybersecurity and Privacy Protection - Information Security Controls,” International Organization for Standardization, Geneva, Switzerland, Tech. Rep., 2022.
    International Organization for Standardization, “ISO/IEC 27037:2012 Information technology - Security techniques - Guidelines for identification, collection, acquisition and preservation of digital evidence,” ISO, Geneva, Switzerland, Tech. Rep., 2012.
    M. Li, J. Weng, , J.-N. Liu, X. Lin, and C. Obimbo, “Toward Vehicular Digital Forensics From Decentralized Trust: An Accountable, Privacy-Preserving, and Secure Realization,” IEEE Internet of Things Journal, vol. 9, no. 9, pp. 7009 – 7024, 2022.
    M. Cebe, E. Erdin, K. Akkaya, H. Aksu, and S. Uluagac, “Block4Forensic: An Integrated Lightweight Blockchain Framework for Forensics Applications of Connected Vehicles,” IEEE Communications Magazine, vol. 56, no. 10, pp. 50 – 57, 2018.
    M. Li, Y. Chen, C. Lal, M. Conti, M. Alazab, and D. Hu, “Eunomia: Anonymous and Secure Vehicular Digital Forensics Based on Blockchain,” IEEE Transactions on Dependable and Secure Computing, vol. 20, no. 1, pp. 225 – 241, 2023.
    H. Li, L. Pei, D. Liao, S. Chen, M. Zhang, and D. Xu, “FADB: a fine-grained access control scheme for VANET data based on blockchain,” IEEE Access, vol. 8, pp. 85190 – 85203, 2020.
    M. A. Hoque and R. Hasan, “AVGuard: A Forensic Investigation Framework for Autonomous Vehicles,” Proc. IEEE Int. Conf. Commun., 2021.
    J. Zhang, Y. Xin, Y. Gao, X. Lei, and Y. Yang, “Secure ABE Scheme for Access Management in Blockchain-Based IoT,” IEEE Access, vol. 9, pp. 54 840 – 54 849, 2021.
    M. Li, C. Lal, M. Conti, and D. Hu, “LEChain: A blockchain-based lawful evidence management scheme for digital forensics,” Future Generation Computer Systems, vol. 115, pp. 406 – 420, 2021.
    European Data Protection Board, “Guidelines 01/2020 on processing personal data in the context of connected vehicles and mobility related applications,” 2021, version 2.0, adopted on 9 March 2021.
    J. Truby, R. Brown, and I. A. Ibrahim, “Regulatory Options for Vehicle Telematics Devices: Balancing Driver Safety, Data Privacy and Data Security,” International Review of Law, Computers Technology, vol. 38, no. 1, pp. 86 – 110, 2024.
    T.-V. Le, C.-L. Hsu, and W.-X. Chen, “A Hybrid Blockchain-Based Log Management Scheme With Nonrepudiation for Smart Grids,” IEEE Transactions on Industrial Informatics, vol. 18, no. 9, pp. 5771 – 5782, 2022.
    K. Fan, Q. Pan, K. Zhang, Y. Bai, S. Sun, H. Li, and Y. Yang, “A Secure and Verifiable Data Sharing Scheme Based on Blockchain in Vehicular Social Networks,” IEEE Transactions on Vehicular Technology, vol. 69, no. 6, pp. 5826 – 5835, 2020.
    Z. Guo, G. Wang, Y. Li, J. Ni, and G. Zhang, “Attribute-Based Data Sharing Scheme Using Blockchain for 6G-Enabled VANETs,” IEEE Transactions on Mobile Computing, vol. 23, no. 4, pp. 3343 – 3360, 2024.
    K. Strandberg, N. Nowdehi, and T. Olovsson, “A systematic literature review on automotive digital forensics: Challenges, technical solutions and data collection,” IEEE Transactions on Intelligent Vehicles, vol. 8, no. 2, pp. 1350 – 1367, 2023.
    V. Goyal, O. Pandey, A. Sahai, and B. Waters, “Attribute-Based Encryption for Fine-Grained Access Control of Encrypted Data,” Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS’06, pp. 89 – 98, 2006.
    S. Lee, H. J. Jo, W. Choi, H. Kim, J. H. Park, and D. H. Lee, “Fine-Grained Access Control-Enabled Logging Method on ARM TrustZone,” IEEE Access, vol. 8, pp. 81348 – 81364, 2020.
    B. Waters, “Ciphertext-Policy Attribute-Based Encryption: An Expressive, Efficient, and Provably Secure Realization,” Public Key Cryptography—PKC 2011, p. 53 – 70, 2011.
    X. Liu, Y. Xia, W. Chen, Y. Xiang, M. M. Hassan, and A. Alelaiwi, “SEMD Secure and efficient message dissemination with policy enforcement in VANET,” Journal of Computer and System Sciences, vol. 82, no. 8, pp. 1316 – 1328, 2016.
    H. Huang, H. Zhang, Z. Zhao, and S. Zhang, “A traceable and verifiable CP-ABE scheme with blockchain in VANET,” The Journal of Supercomputing, vol. 79, p. 16859 – 16883, 2023.
    J. Ma, T. Li, J. Cui, Z. Ying, and J. Cheng, “Attribute-Based Secure Announcement Sharing Among Vehicles Using Blockchain,” IEEE Internet of Things Journal, vol. 8, no. 13, pp. 10 873 – 10 883, 2021.
    L. Guo, X. Yang, and W. C. Yau, “TABE-DAC: Efficient Traceable Attribute-Based Encryption Scheme With Dynamic Access Control Based on Blockchain,” IEEE Access, vol. 9, pp. 8479 – 8490, 2021.
    D. Boneh, B. Lynn, and H. Shacham, “Short signatures from the weil pairing,” International conference on the theory and application of cryptology and information security, pp. 514 – 532, 2001.
    A. Lewko and B. Waters, “New proof methods for attribute-based encryption: Achieving full security through selective techniques,” Advances in Cryptology – CRYPTO 2012, pp. 180 – 198, 2012.
    National Highway Traffic Safety Administration, “Event data recorders, 49 CFR part 563,” U.S. Department of Transportation, Tech. Rep., 2024, up to date as of December 2, 2024. [Online]. Available: https://www.ecfr.gov/current/title-49/part-563
    ETSI, “Intelligent transport systems (ITS); vehicular communications; basic set of applications; part 2: Specification of cooperative awareness basic service,” European Telecommunications Standards Institute, Tech. Rep. ETSI EN 302 637-2 V1.4.1, 2019. [Online]. Available: https://www.etsi.org/deliver/etsi_en/302600_302699/30263702/01.04.01_60/en_30263702v010401p.pdf
    Y. Shin, S. Kim, W. Jo, and T. Shon, “Digital forensic case studies for in-vehicle infotainment systems using Android Auto and Apple CarPlay,” Sensors, vol. 22, no. 19, p. 7196, 2022.
    C. McKay and N.-A. Le-Khac, “Driven to evidence: The digital forensic trail of vehicles,” vol. 614, 2025.
    B. Blanchet, B. Smyth, V. Cheval, and M. Sylvestre, ProVerif 2.05: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial, 2023, user manual and tutorial, version 2.05. [Online]. Available: https://bblanche.gitlabpages.inria.fr/proverif/manual.pdf
    J. A. Akinyele, M. D. Green, and A. D. Rubin, “Charm: A framework for Rapidly Prototyping Cryptosystems,” Journal of Cryptographic Engineering, vol. 3, pp. 111 – 128, 2013.

    無法下載圖示 全文公開日期 2031/08/26
    QR CODE
    :::