75、基于具有紧密多用户安全性的公钥加密实现高效且紧密的不经意传输

基于具有紧密多用户安全性的公钥加密实现高效且紧密的不经意传输

1 研究背景与贡献

在不经意传输(OT)协议的构建中,以往的方法在使用随机预言机时会带来安全损失,这种损失与敌手的随机预言机查询数量呈乘法关系。这就需要对构建 OT 的方法进行更深入的分析,同时也引发了一个问题:能否基于公钥加密在随机预言机模型(ROM)中构建出具有紧密安全性的高效 OT 协议?

1.1 研究贡献

我们提出了一种在随机预言机模型中构建 OT 的新方法,该方法基于底层公钥加密(PKE)的多用户安全性,能够被证明具有紧密的安全性。此方法遵循了 Masny 和 Rindal 的范式,通过指定随机预言机查询模式,允许恶意接收者自由选择一个公钥,而另一个公钥则由随机预言机确定。

我们使用了一种较弱的多用户安全概念,与以往文献中提出的概念相比,在我们的概念中,敌手接收 n 个用户的公钥,然后决定想要查看哪个公钥对应的挑战密文;而以往的概念允许敌手查看所有公钥对应的挑战密文。不过,有许多 PKE 在 DDH 或 LWE 假设下,甚至能以紧密的安全证明实现更强的多用户安全概念。

对于我们的 OT 协议,还需要公钥具有伪随机性这一性质。这一要求与 [MR19] 类似,但不同的是,即使在看到 n 个密钥时,该性质也能基于底层假设紧密成立。

1.2 效率对比

与以往的工作相比,我们的 OT 协议在效率上有一定的优势。主要区别在于随机预言机的使用方式,其效率与 [MR19] 非常相似。一方面,我们需要额外进行 3 次哈希计算,这些哈希计算是标准的映射到 {0, 1}∗ 的计算,在使用椭圆曲线时,不映射到曲线点;另一方面,与 [MRR20]

【四轴飞行器】非线性三自由度四轴飞行器模拟器研究(Matlab代码实现)内容概要:本文围绕非线性三自由度四轴飞行器的建模与仿真展开,重点介绍了基于Matlab的飞行器动力学模型构建与控制系统设计方法。通过对四轴飞行器非线性运动方程的推导,建立其在三维空间中的姿态与位置动态模型,并采用数值仿真手段实现飞行器在复杂环境下的行为模拟。文中详细阐述了系统状态方程的构建、控制输入设计以及仿真参数设置,并结合具体代码实现展示了如何对飞行器进行稳定控制与轨迹跟踪。此外,文章还提到了多种优化与控制策略的应用背景,如模型预测控制、PID控制等,突出了Matlab工具在无人机系统仿真中的强大功能。; 适合人群:具备一定自动控制理论基础和Matlab编程能力的高校学生、科研人员及从事无人机系统开发的工程师;尤其适合从事飞行器建模、控制算法研究及相关领域研究的专业人士。; 使用场景及目标:①用于四轴飞行器非线性动力学建模的教学与科研实践;②为无人机控制系统设计(如姿态控制、轨迹跟踪)提供仿真验证平台;③支持高级控制算法(如MPC、LQR、PID)的研究与对比分析; 阅读建议:建议读者结合文中提到的Matlab代码与仿真模型,动手实践飞行器建模与控制流程,重点关注动力学方程的实现与控制器参数调优,同时可拓展至多自由度或复杂环境下的飞行仿真研究。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符  | 博主筛选后可见
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值