面向云存储的机载软件持有性证明  

Airborne Software Provable Data Possession for Cloud Storage

作　　者：岳猛 文程 洪雪婷 严思敏 YUE Meng;WEN Cheng;HONG Xueting;YAN Simin(School of Safety Science and Engineering,Civil Aviation University of China,Tianjin 300300,China;China Mobile Group Anhui Company Limited Wuhu Branch,Wuhu,Anhui 241100,China)

机构地区：[1]中国民航大学安全科学与工程学院,天津300300 [2]中国移动通信集团安徽有限公司芜湖分公司,安徽芜湖241100

出　　处：《计算机科学》2024年第S02期884-893,共10页Computer Science

基　　金：国家自然科学基金(621724183);天津市应用基础研究多元投入重点项目(21JCZDJC00830)。

摘　　要：随着民用航空机载软件数量的不断增长,传统的软件分发方式面临效率低、成本高、安全性差的问题。为了提高机载软件的分发效率,将云存储与机载软件相结合,提出了一种基于Cloud-P2P的机载软件存储架构,实现了机载软件的分布式云存储以及机载软件共享。在此基础上,提出了一种数据持有性证明协议,通过将标识与公钥绑定,降低了共谋风险,并通过抽样审计完成对云上机载软件的完整性验证,减小了验证成本。安全性分析表明,所提方案具有不可伪造性和抗重放攻击的能力,并且证明了数据持有性证明协议的正确性。与现有的数据完整性审计方案相比,计算开销减少了10%,通信开销减少了20%。该研究对保证机载软件的高效安全分发具有实际意义。With the increasing number of civil aviation airborne software,the traditional software distribution methods face the problems of low efficiency,high cost and poor security.In order to improve the distribution efficiency of airborne software,we combine cloud storage with airborne software and propose an airborne software storage architecture based on Cloud-P2P,which realizes distributed cloud storage of airborne software and airborne software sharing.On this basis,a provable data possession is proposed,which reduces the risk of complicity by binding the logo to the public key,and completes the integrity verification of the airborne software through sampling audit,reducing the verification cost.Security analysis shows that this scheme is unforgeable and resistant to replay attacks,and proves the correctness of the data-holding proof protocol.Compared with existing data integrity auditing schemes,the computational overhead is reduced by 10% and the communication overhead is reduced by 20%.This research has practical implications for ensuring efficient and secure distribution of airborne software.

关 键 词：机载软件 云存储 P2P 数据持有性证明 抽样审计 

分 类 号：V328.3[航空宇航科学与技术—人机与环境工程]