丁宁
- 作品数：16 被引量：2H指数：1
- 供职机构：上海交通大学更多>>
- 相关领域：自动化与计算机技术政治法律电子电信更多>>
- 基于Shamir安全多方计算的隐私保护多方强化学习系统及方法
- 一种基于Shamir安全多方计算的隐私保护多方强化学习系统及方法，包括：基于shamir的安全定点数计算模块、基于定点数计算实现的安全梯度下降模块、基于安全梯度下降实现的服务器mix网络模块、智能体网络模块和智能体‑服务...
- 黄维灿丁宁宦飞
- 文献传递
- SM2白盒密码实现方法
- 一种SM2白盒密码实现方法，以签名参数对消息进行签名后采用验证参数对消息与签名进行验证，其中：签名参数中包含由SM2椭圆曲线公钥密码算法为基础生成的基本参数以及由基本参数构建得到的签名参数表；验证参数中包含SM2椭圆曲线...
- 谷大武王磊丁宁陆海宁
- 文献传递
- 一种基于迁移学习的船用滑动轴承剩余寿命预测方法
- 本发明提供了一种基于迁移学习的船用滑动轴承剩余寿命预测方法，包括：步骤1：开展不同材料船用滑动轴承抗咬合性能试验，采集整个退化过程中不同材料滑动轴承的多传感器信号数据；步骤2：进行时域和频域多传感器特征提取，形成多维多传...
- 丁宁李虎林颜康吕昱昊武宸亮
- 文献传递
- 基于消息验证机制可验证多服务器隐私信息检索方法
- 一种基于消息验证机制可验证多服务器隐私信息检索方法，其特征在于，在初始化阶段，由数据持有者为每个数据块分别①生成验证信息并将其与密钥存入一组验证服务器；②生成验证标签并将带验证标签的数据块存入一组数据服务器；在离线阶段，...
- 杨士玄丁宁谷大武龙宇陆海宁
- 基于安全多方计算的隐私保护机器学习实现系统及方法
- 一种基于安全多方计算的隐私保护机器学习实现系统及方法，包括：输入输出模块、线性计算模块和非线性计算模块，其中：输入输出模块在系统开始运行时生成秘密分享密文和所有计算完成后输出最终结果；线性计算模块计算机器学习模型中的线性...
- 袁博实谷大武丁宁龙宇陆海宁
- 具体行政行为网上公告的合法要件
- 电子科技给政府的行政方式带来了新的转变,电子告知就是典型代表,其中又以网上公告最富普遍性和争议性。现今的司法实践中就已产生了以北京希优案为代表的对网上公告合法性的质疑。本文主要采用描述及判例研究的方法,通过搜集、阅读我国...
- 丁宁
- 关键词：具体行政行为合法要件
- 文献传递
- 程序混淆的一些新构造及应用
- 程序混淆是现代密码学的崭新领域,其研究目标是针对我们感兴趣的程序,构造出功能上与其相同的程序,使得任何敌手在获得新程序代码之后,除了能使用该程序的功能外不能从程序代码中学到任何新知识。本文对程序混淆当前的国内外研究现状进...
- 丁宁
- 关键词：对称加密密码学
- 一种基于鲁棒模仿学习的模拟器建模方法
- 本发明公开了一种基于鲁棒模仿学习的模拟器建模方法，涉及强化学习领域，包括以下步骤：从策略分布<Image file="DDA0003113370120000011.GIF" he="62" imgContent="dra...
- 杨正宇张伟楠丁宁俞勇
- 文献传递
- 面向二进制代码的多线程虚拟化保护技术
- 2021年
- 目前对抗逆向分析最有效的手段为代码虚拟化技术,但是仍旧有许多攻击者通过知识累积、符号执行等手段对代码虚拟化技术进行逆向破解。设计并实现了Muti-Thread-Vmp原型系统。该系统利用多线程实现不同的虚拟化指令,从而让攻击者难以跟踪与分析,提高了代码虚拟化的保护效果。理论分析与实验结果表明,Muti-Thread-Vmp原型系统能够有效地提高攻击者分析的难度。
- 丁宁王轶骏薛质
- 关键词：逆向工程
- 论电子政务中的行政送达——以北京希优案为例被引量：1
- 2012年
- 电子政务的实行不是简单地通过网络改变行政手段,而是要从根本上转变行政理念。最高法院确立了在相对人接受电子政务化的行政处理方式的前提下,行政机关可使用网络公告的方式进行送达的规则,并根据网络送达方式的特殊性发展出了新的审查规则。法院对北京希优案的判决思路中暗含了正当程序原则,并据此提出了符合法院最低限度公正的行政告知要求。
- 丁宁
- 关键词：电子政务
