隐语可信数据空间MOOC第29讲笔记:安全协作查询语言SCQL

叶开233 2025-11-20 12:55:24

笔记内容来自隐语Mooc,欢迎一起来学习。Mooc课程地址:https://www.secretflow.org.cn/community/bootcamp/2narwgw4ub8rabq/course/vhii941jitkl122?tab=outline

img

一、SCQL 背景与概述

1.1 联合数据分析场景

场景类型特点技术方案
传统数据分析数据使用方拥有数据权限MySQL、Spark等成熟方案
联合数据分析数据分散在多家机构且高度敏感需要隐私计算技术

1.2 典型应用场景

  • 金融机构 + 电商平台:联合用户画像分析
  • 多家医院:联合研究药物疗效
  • 跨机构数据协作:在保护隐私前提下进行数据分析

1.3 技术路线对比

技术路线优点缺点
TEE SQL计算效率高数据要出境,依赖专有硬件
MPC SQL数据不出境,通用硬件计算效率相对较低
SCQL平衡安全性与性能支持多种密态协议

二、SCQL 核心概念

2.1 SCQL 定义

  • 全称:Secure Collaborative Query Language
  • 定位:提供多方联合数据分析能力的安全查询语言

2.2 关键特性

特性说明
安全性半诚实安全模型,列级别数据授权控制(CCL)
易用性支持MySQL语法,多种数据源接入(MySQL、Postgres、CSV)
扩展性支持多方(N≥2)协作
性能支持亿级求交,千万量级聚合,多种密态协议

2.3 支持的密态协议

  • SEMI2K
  • CHEETAH
  • ABY3

三、CCL(列控制列表)详解

3.1 CCL 定义与作用

  • 全称:Column Control List
  • 本质:数据使用约束机制,描述每列数据在使用过程中的约束条件
  • 形式:三元组 <src_column, dest_party, constraint>

3.2 CCL 约束类型

约束类型说明适用场景
PLAINTEXT无限制使用非敏感数据
PLAINTEXT_AFTER_JOINJOIN后可明文关联键
PLAINTEXT_AS_JOIN_PAYLOADJOIN负载字段可明文关联值字段
PLAINTEXT_AFTER_GROUP_BY分组后可明文分组统计
PLAINTEXT_AFTER_AGGREGATE聚合后可明文统计指标
PLAINTEXT_AFTER_COMPARE比较后可明文条件过滤
ENCRYPTED_ONLY始终密文高度敏感数据
UNKNOWN未定义,默认拒绝安全默认

3.3 CCL 安全模型

  • 安全原则:不满足CCL约束一定不安全,满足CCL约束不一定安全
  • 审批优化:降低数据使用审批负担,提供优化机会

3.4 CCL 示例

数据授权:

Alice <salary, Bob, PLAINTEXT_AFTER_AGGREGATE>
Bob <id, Alice, PLAINTEXT_AFTER_JOIN>

合法查询:

SELECT AVG(tb.col1)
FROM tb
INNER JOIN ta ON tb.id = ta.id

非法查询:

SELECT tb.id, tb.col1  -- 违反CCL约束
FROM tb
INNER JOIN ta ON tb.id = ta.id

四、SCQL 系统架构

4.1 P2P模式系统组成

组件职责
SCQLBroker用户交互、状态同步、SQL分析、任务调度
SCQLEngine明密文混合执行引擎,完成多方分析任务

4.2 架构特点

  • 去中心化:P2P部署模式(从中心化演进而来)
  • 模块化:Broker与Engine分离,职责清晰
  • 可扩展:支持多种数据源和计算后端

五、SCQL 实践指南

5.1 典型应用场景

场景描述:

金融机构Alice联合电商平台Bob进行用户画像分析

分析目标:

  • 统计不同信用等级的活跃用户人数
  • 计算平均收入和平均交易额
  • 年龄范围:20-30岁

SQL查询:

SELECT
    ta.credit_rank,
    COUNT(*) as cnt,
    AVG(ta.income) as avg_income,
    AVG(tb.order_amount) as avg_amount
FROM
    ta
INNER JOIN tb ON ta.ID = tb.ID
WHERE
    ta.age >= 20
    AND ta.age <= 30
    AND tb.is_active = 1
GROUP BY
    ta.credit_rank;

5.2 SCQL 使用流程

部署系统
    ↓
项目设置(创建项目、邀请用户)
    ↓
数据授权(创建表、设置CCL)
    ↓
联合分析执行

5.3 部署模式演进

  • 历史:中心化部署
  • 当前:P2P部署(支持SecretNote演示)

六、SCQL 核心价值

6.1 安全性保障

  • 🔒 细粒度授权:列级别数据使用控制
  • 🔒 约束执行:引擎严格保证CCL约束
  • 🔒 半诚实安全:实用的安全模型

6.2 易用性设计

  • 🎯 SQL兼容:MySQL语法,学习成本低
  • 🎯 多数据源:支持常见数据库和文件格式
  • 🎯 工具生态:提供SecretNote等可视化工具

6.3 性能优化

  • 协议选择:支持多种密态协议适配不同场景
  • 规模支持:亿级数据求交,千万级聚合
  • 混合引擎:明密文混合执行提升效率

七、学习建议

7.1 入门路径

  1. 理解概念:掌握CCL机制和安全模型
  2. 环境搭建:部署SCQL系统(P2P模式)
  3. 实践案例:运行示例查询,理解CCL配置
  4. 场景扩展:尝试复杂业务场景的CCL设计

7.2 进阶方向

  • CCL设计:学习如何为不同敏感度数据设计合适的约束
  • 性能调优:了解不同密态协议的适用场景
  • 系统运维:掌握P2P模式下的系统管理和监控

7.3 注意事项

  • CCL谨慎配置PLAINTEXT约束需特别谨慎
  • 安全理解:满足CCL不等于绝对安全,需结合业务风险评估
  • 性能平衡:在安全性和性能间找到合适平衡点
...全文
455 回复 打赏 收藏 转发到动态 举报
写回复
用AI写文章
回复
切换为时间正序
请发表友善的回复…
发表回复
内容概要:本文围绕VSG构网型逆变器与跟网型逆变器之间的双向平滑切换控制策略展开深入研究,系统探讨了GFL(跟网型)与GFM(构网型)逆变器在并网与孤岛运行模式下的切换机制。基于Simulink平台构建仿真模型,详细实现了切换过程中的控制逻辑设计、系统稳定性保障及动态响应性能优化等关键技术环节,重点解决模式切换过程中可能出现的电流冲击、频率电压波动等问题,确保微电网在不同运行工况下的连续稳定运行。研究还融合事件触发机制与分布式二次控制策略,实现频率和电压的无差调节,并提升通信资源受限或遭受DoS攻击等异常情况下的系统弹性与协同控制能力,适用于高比例新能源接入场景下的微电网灵活运行需求。; 适合人群:具备电力电子、自动控制、微电网与新能源系统等相关专业背景,从事电力系统仿真、分布式能源控制研究的研究生、科研人员及工程技术人员。; 使用场景及目标:①深入理解构网型与跟网型逆变器的运行机理及切换控制原理;②设计并仿真验证GFL/GFM模式间的双向平滑切换策略;③应用于微电网分层控制、孤岛检测与无缝切换、二次频率电压恢复等实际工程场景;④支撑IEEE Transactions等顶级期刊论文的复现、科研项目开发及创新性课题研究。; 阅读建议:建议结合提供的Simulink仿真模型同步学习,重点关注模式切换判据、控制架构切换逻辑、事件触发条件设定及控制器参数整定方法,配合网盘中的完整代码与模型资源进行仿真调试,以深入掌握其实现细节并开展进一步的优化与拓展研究。
内容概要:本文提出了一种基于自适应无迹卡尔曼滤波(AUKF)的三相配电网动态状态估计方法,旨在解决三相不平衡配电网在量测噪声统计特性未知或时变情况下的状态估计难题。通过构建三相动态状态估计模型,结合无迹变换处理系统非线性,利用新息序列在线修正过程与观测噪声协方差矩阵,有效提升了状态估计的鲁棒性与精度。研究完整实现了算法的Matlab代码,涵盖系统建模、滤波迭代、噪声自适应调整等关键环节,为复杂配电系统提供了可靠的实时状态感知手段。; 适合人群:具备电力系统分析、现代控制理论基础及Matlab编程能力的研究生、科研人员以及从事智能配电网、状态估计相关工作的电力行业技术人员。; 使用场景及目标:①应用于主动配电网、高比例分布式能源接入等复杂运行环境下的实时动态状态监控;②为故障诊断、电压调控、负荷预测等高级应用提供高精度状态数据支撑;③作为科研与教学中非线性滤波算法开发、状态估计仿真实践的参考范例。; 阅读建议:建议读者结合文中提供的Matlab代码,逐模块分析算法实现流程,重点理解无迹变换机制与噪声协方差自适应更新策略,并可通过改变网络拓扑、噪声水平等参数进行仿真实验,深入掌握AUKF在实际工程中的性能表现与优化方向。
内容概要:本文研究基于分布式模型预测控制(DMPC)的多个固定翼无人机一致性控制问题,通过构建固定翼无人机的非线性动力学模型,结合分布式控制架构实现多无人机系统在复杂环境下的状态一致性与协同飞行。文中系统阐述了模型预测控制算法的设计流程,引入一致性协议以确保编队稳定性,并充分考虑固定翼无人机的强非线性、姿态耦合特性以及通信延迟、局部信息交互受限等实际约束条件。通过Matlab进行仿真验证,展示了多无人机在不同初始条件下实现轨迹协同、速度同步与队形保持的有效性。研究重点在于提升控制系统的鲁棒性、可扩展性与实时性,为复杂动力学系统下的多智能体协同控制提供了可行的技术路径。; 适合人群:具备自动控制理论、飞行器动力学、多智能体系统或优化控制基础的研究生、科研人员及从事无人机系统开发的工程技术人员。; 使用场景及目标:①应用于多无人机协同编队飞行、区域覆盖监测、灾害救援与军事侦察等实际任务场景;②为分布式控制算法在非线性、受限通信条件下的多智能体系统中提供算法设计与仿真实现参考;③推动DMPC理论在航空航天领域中的一致性控制与自主协同方向的发展; 阅读建议:建议读者结合提供的Matlab代码深入理解系统建模、代价函数构建、分布式优化求解及一致性协议集成等关键环节,重点关注算法在非线性系统中的收敛性与鲁棒性表现,可进一步拓展至异构无人机协同、动态避障或通信拓扑时变等更具挑战性的研究方向。

576

社区成员

发帖
与我相关
我的任务
社区描述
隐语开源社区,隐私计算开发者交流和讨论的平台。
密码学可信计算技术安全 企业社区
社区管理员
  • 隐语SecretFlow
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告

【最新活动】

3月18日:隐私计算实训营第一期

试试用AI创作助手写篇文章吧