一种基于博弈论实现用户隐私损失补偿的数据定价方法

    公开(公告)号:CN115965406A

    公开(公告)日:2023-04-14

    申请号:CN202310258187.4

    申请日:2023-03-17

    Abstract: 一种基于博弈论实现用户隐私损失补偿的数据定价方法,属于数据处理的技术领域,包括:步骤1:通过对作为追随者的买家的效用函数求偏导,得出作为追随者的买家的最优数据购买策略;步骤2:将其带入作为领导者的市场平台的效用函数中,利用迭代梯度算法更新数据价格;再根据数据卖家的效用函数优化其隐私补偿系数;步骤3:确定数据交易的赢家、数据成交价、数据隐私补偿系数和数据的购买量四个关键变量,实现公平高效的数据定价。本发明提出基于Stackelberg博弈的定价方法,结合前面的隐私补偿机制,分析了卖方、买方和市场平台各自的效用,同时引入了激励竞争机制,多个卖方相互竞争,更符合真实数据交易的情况。

    一种SM4密码算法的形式化验证方法及系统

    公开(公告)号:CN112989395A

    公开(公告)日:2021-06-18

    申请号:CN202110465793.4

    申请日:2021-04-28

    Abstract: 本申请公开了一种SM4密码算法的形式化验证方法,所述方法包括:将SM4密码算法的算法参数定义为安全整数类型;其中,所述算法参数包括明文输入、加密结果、密文输入、解密结果、主密钥、密钥常数、轮密钥和s盒参数;确定基于F*框架的算法模块的初始堆,并在所述初始堆的目标缓冲区中添加所述算法参数;利用所述算法参数对所述SM4密码算法的轮密钥生成模块、加密模块和解密模块进行形式化验证,得到所述SM4密码算法的形式化验证结果。本申请能够在SM4密码算法实现过程中保证内存安全、避免受到时间侧信道攻击。本申请还公开了一种SM4密码算法的形式化验证系统,具有以上有益效果。

    高安全等级的OTA升级固件的加密方法

    公开(公告)号:CN108933790B

    公开(公告)日:2020-12-22

    申请号:CN201810732760.X

    申请日:2018-07-05

    Abstract: 本发明的高安全等级的OTA升级固件的加密方法,PC机生成固件升级数据步骤为:利用固件头数据和n个block固件数据生成认证码MAC,将未加密的固件头数据、加密的MAC和n个block固件数据作为固件升级数据;IOT终端设备验证和升级步骤为:IOT终端设备利用接收的数据恢复出MAC的值,并判断自身计算的MAC值与接收的MAC值是否相等,只有在相等的情况下才执行升级操作。本发明的OTA升级固件的加密方法,通过包含侧信道分析在内多种方法很难分析出头部加密算法,从根本上防止了恶意固件的下载,防止了非法人员通过侧信道密码分析方法,将固件升级算法的原理恢复出来,进一步提高了固件升级过程中安全等级。

    高安全等级的OTA升级固件的加密方法

    公开(公告)号:CN108933790A

    公开(公告)日:2018-12-04

    申请号:CN201810732760.X

    申请日:2018-07-05

    Abstract: 本发明的高安全等级的OTA升级固件的加密方法,PC机生成固件升级数据步骤为:利用固件头数据和n个block固件数据生成认证码MAC,将未加密的固件头数据、加密的MAC和n个block固件数据作为固件升级数据;IOT终端设备验证和升级步骤为:IOT终端设备利用接收的数据恢复出MAC的值,并判断自身计算的MAC值与接收的MAC值是否相等,只有在相等的情况下才执行升级操作。本发明的OTA升级固件的加密方法,通过包含侧信道分析在内多种方法很难分析出头部加密算法,从根本上防止了恶意固件的下载,防止了非法人员通过侧信道密码分析方法,将固件升级算法的原理恢复出来,进一步提高了固件升级过程中安全等级。

Patent Agency Ranking