安全可验证
提出的星上异常识别方案通过XOR过滤器实现保密集合求交，在消除误报的同时支持可验证查询，为低轨卫星星座的自主运维提供轻量级安全计算工具。
孔庆磊 · Zhang, Songnian · Shuna, Wen · Chen, Bo · Wang, Xiaohong
IEEE Transactions on Industrial Informatics 2025
通过简洁隐私集合求交对XOR过滤器初筛结果进行二次校验，剔除误报项，提高异常识别的精确性。
查询方可以验证返回的异常结果是否由安全在轨异常识别方案正确生成，防止被篡改或伪造，增强结果可信度。
与两种基准方案相比，本方案在通信开销和计算成本上均表现更优，更适合星上资源受限环境。
在仿真/真实世界模型下证明了方案的机密性，为实际部署提供了理论安全保证。