-
公开(公告)号：CN117591087A
公开(公告)日：2024-02-23
申请号：CN202311506458.X
申请日：2023-11-13
摘要： 本发明公开了一种针对复杂数据处理需求的高效形式化代码构建方法，包括：通过F*语言提取所要构建的代码的数学逻辑；将所述数学逻辑基于HACL*库和Low*库进行构建实现，其中通过对HACL*库进行扩展以应对复杂数据处理需求；编译执行所述代码，以完成从规范到实现的正确性验证和内存安全性验证；通过kremlin工具自动将已验证的Low*转换为语义等效的C代码。
-
公开(公告)号：CN116994309A
公开(公告)日：2023-11-03
申请号：CN202310504150.5
申请日：2023-05-06
申请人： 浙江大学 , 浙江大学杭州国际科创中心
IPC分类号： G06V40/16 , G06V10/774 , G06V10/82 , G06N3/0464 , G06N3/082
摘要： 本发明公开了一种公平性感知的人脸识别模型剪枝方法，包括获取数据集，数据集包括训练图像数据，训练图像数据的目标标签，训练图像数据的敏感属性，在获取的数据集上训练一个在目标标签上分类准确率高的神经网络模型，构建网络公平性的判别器，用于公平性感知的网络剪枝训练等步骤，本方法旨在提升网络剪枝算法的公平性，在保持网络效率的前提下，不损伤剪枝后网络的准确率，提升剪枝后网络的公平性。本发明设计判别器消除剪枝后模型的预测与敏感属性之间的关联，搜索存在公平性偏见与参数多余的联结进行剪枝，从而实现公平性感知的网络剪枝算法，本发明可以剪枝模型80％，90％，最多可达95％的参数，同时提升模型在敏感属性。
-
公开(公告)号：CN116597811A
公开(公告)日：2023-08-15
申请号：CN202310533603.7
申请日：2023-05-12
申请人： 浙江大学 , 浙江大学杭州国际科创中心
IPC分类号： G10L15/01 , G10L15/06 , G10L15/16 , G10L17/04 , G10L17/18 , G06F21/57 , G06N3/0455 , G06N3/0464 , G06N3/0475 , G06N3/094
摘要： 本发明公开了一种基于房间脉冲响应的语音后门验证方法，包括：获取目标语音模型的干净语音样本和其所在物理空间的属性信息；根据属性信息设定声学参数，并根据声学参数构建房间脉冲响应的条件向量；将条件向量与随机采样的隐向量拼接后输入房间脉冲响应生成器，合成房间脉冲响应信号作为动态触发器；使用动态触发器对干净语音样本进行投毒作为毒化语音样本，利用毒化语音样本和干净语音样本对目标语音模型进行训练，使得目标语音模型被受到感染并被注入后门；将受感染的目标语音模型部署后，正常说话发出语音以触发后门，从而验证目标语音模型的后门脆弱性，该方法有效提升语音后门的隐蔽性和鲁棒性，从而提供真实可靠的后门攻击测试。
-
公开(公告)号：CN116186784B
公开(公告)日：2023-07-21
申请号：CN202310467731.6
申请日：2023-04-27
申请人： 浙江大学 , 浙江大学杭州国际科创中心
IPC分类号： G06F21/62 , G06F21/60 , G06F18/214 , G06F18/24 , G06N3/0464 , G06N3/098 , A61B5/363 , A61B5/00
摘要： 本发明公开了基于联邦学习隐私保护的心电图心率失常分类方法及装置，该方法包括：（1）对带标签的心电图信号数据集进行滤波，得到训练数据集，将训练数据集送入卷积神经网络中进行训练，其中标签为心电图信号对应的心率失常类别；（2）将训练后的模型进行参数量化，得到模型参数编码；（3）利用去中心化的安全聚合算法将其他参与方的模型参数编码与本地的模型参数编码聚合，对聚合后的参数进行去量化，得到聚合模型，将训练数据集输入聚合模型进行训练；（4）返回步骤（2）直至训练次数达到预定轮次，得到训练完毕的分类模型；（5）获取待分类心电图信号，将待分类心电图信号滤波后输入分类模型，得到待分类心电图信号对应的类别。
-
公开(公告)号：CN116305085A
公开(公告)日：2023-06-23
申请号：CN202211089677.8
申请日：2022-09-07
摘要： 本发明公开了一种基于控制流页访问分析的受控信道脆弱性自动化检测方法，包括：搭建条件控制流内存页访问实时攻击环境；利用内存管理单元分配给目标应用程序受限的物理内存页帧数，当目标应用程序开始执行时，记录下触发的系统中断或缺页异常对应的物理内存页号，生成缺页异常序列；分析缺页异常序列，搜索其中重复出现的最长子序列，记录每条最长子序列及其重复次数；计算相邻两个最长子序列之间的距离向量、平均值、方差；采用机器学习分析缺页异常特征信息与目标应用程序间的相关度，从而检测敏感目标应用程序的受控信道脆弱性。本发明具有较好的检测目标通用性，且自动化采集、分析敏感信息泄露，输出检测结果，易于部署。
-
公开(公告)号：CN116208362A
公开(公告)日：2023-06-02
申请号：CN202211646375.6
申请日：2022-12-21
申请人： 浙江大学 , 浙江大学杭州国际科创中心
IPC分类号： H04L9/40
摘要： 本发明公开了一种基于热插拔安全会话的Web数据隔离保护方法，基于WebTeleporter实现，该方法在用户和应用的原始Web会话之外添加一个新的独立的受用户信任的设备和WebTeleporter之间的平行Web会话，原始的Web会话是用户不信任的设备发起的，而平行Web会话的载体是用户信任的设备。用户可以自由选择敏感数据，使其不在原始Web会话上传输，而在平行会话上传输，从而达到保护用户隐私的效果。本发明不需要修改应用的原生代码来添加信任设备，而是通过在应用服务器部署WebTeleporter层，是一种即插即用的实现。本发明是一个轻量级的方法，其实现方法简便，手段灵活，且用户的隐私保护能得到显著保证。
-
公开(公告)号：CN117591087B
公开(公告)日：2024-07-05
申请号：CN202311506458.X
申请日：2023-11-13
摘要： 本发明公开了一种针对复杂数据处理需求的高效形式化代码构建方法，包括：通过F*语言提取所要构建的代码的数学逻辑；将所述数学逻辑基于HACL*库和Low*库进行构建实现，其中通过对HACL*库进行扩展以应对复杂数据处理需求；编译执行所述代码，以完成从规范到实现的正确性验证和内存安全性验证；通过kremlin工具自动将已验证的Low*转换为语义等效的C代码。
-
公开(公告)号：CN117765489A
公开(公告)日：2024-03-26
申请号：CN202311468985.6
申请日：2023-11-06
申请人： 浙江大学 , 浙江大学杭州国际科创中心
IPC分类号： G06V20/56 , G06V10/25 , G06V10/26 , G06V10/40 , G06V10/764 , G06V10/82 , G06N3/045 , G06N3/0464 , G06N3/084 , G06N3/094
摘要： 本发明公开了一种基于单目摄像头的自动驾驶幽灵攻击检测方法，包括：获取路况图像，对所述路况图像进行目标检测，以检测场景中存在的目标物体并对各目标物体进行分割；将分割得到的所有目标物体图像进行预处理；对预处理后的目标物体图像，利用预训练的特征提取及分类识别网络生成领域无关的特征表示并根据所述特征表示判断所述目标物体是否为幽灵攻击产生的虚假物体。本发明只依赖于在自动驾驶车辆中广泛存在的单目摄像头，能够应用于各级自动驾驶车辆中。
-
公开(公告)号：CN117650878A
公开(公告)日：2024-03-05
申请号：CN202311141651.8
申请日：2023-09-05
申请人： 浙江大学嘉兴研究院 , 浙江大学杭州国际科创中心
摘要： 本发明公开了一种基于分布预测的侧信道安全性评估方法，包括：获取目标设备的泄漏信息；基于若干高斯分布变量的上下界预测出汉明重量泄漏模型下所述泄漏信息的预测分布；基于所述泄漏信息的预测分布，利用基于最大似然估计的分析方法恢复出正确密钥，从而评估密码设备的侧信道安全性。无需利用克隆设备建模，评估者使用时的前置条件更少，安全评估门槛更低；区分器的密钥恢复成功率与建模类区分器的成功率接近，高于其他非建模类区分器的密钥恢复成功率，安全评估效率更高；区分器可用于受保护型密码实现，分析效率同样接近建模类区分器的成功率，安全评估场景更广。
-
公开(公告)号：CN117640254A
公开(公告)日：2024-03-01
申请号：CN202410101299.3
申请日：2024-01-25
IPC分类号： H04L9/40 , G06V10/764 , G06V10/774 , G06V10/82 , G06N3/0455 , G06N3/0464 , G06N3/082
摘要： 本发明公开了一种工控网络入侵检测方法及装置，包括：扫描工控网络中的设备连接情况，利用介数中心性对工控网络进行关键设备分析，较好地拟合了真实工控网络流量跳转情况；获取带有标签的系统日志数据，将所述系统日志数据编码为灰度图像，保留了数据的时空序列信息与相对位置信息，从而构建训练集，其中所述标签为“正常”或“异常”；利用所述训练集对入侵检测网络进行训练，其中所述入侵检测网络采用MobileViT；获取关键设备的系统日志数据并转化为待测灰度图像；利用训练后的入侵检测网络对所述待测灰度图像进行分类，从而判断所述关键设备是否被入侵。
-
-
-
-
-
-
-
-
-
搜索结果
310 条记录 (耗时 0.038 秒)