基于同态加密的明文与密文的矩阵乘法计算方法

    公开(公告)号:CN117200972A

    公开(公告)日:2023-12-08

    申请号:CN202311195584.8

    申请日:2023-09-08

    Abstract: 本发明为基于同态加密的明文与密文的矩阵乘法计算方法,属于信息安全领域。该方法包含以下步骤:S1:设定安全参数和相关加解密参数;S2:根据安全参数生成公私钥对和运算密钥;S3:客户端对矩阵进行编码后再进行加密,生成加密数据,并发送;S4:服务器对矩阵进行编码,对加密数据进行变换;S5:服务器进行明文与密文的矩阵乘法计算,得到矩阵乘法结果的密文并发送;S6:客户端利用私钥解密得到矩阵乘法结果密文。本发明提供了基于同态加密的明文与密文的矩阵乘法计算方法,在两方参与的隐私计算框架下能实现服务器对客户端需求的快速高效矩阵乘法计算,保证了模型和数据二者的安全性,具有很强的泛化能力。

    基于SPZN的智能网联汽车系统安全性简化验证方法

    公开(公告)号:CN116805127A

    公开(公告)日:2023-09-26

    申请号:CN202310556223.5

    申请日:2023-05-12

    Abstract: 本发明涉及基于SPZN的智能网联汽车系统安全性简化验证方法,属于无人驾驶、形式化验证领域;基于汽车电子控制单元信息的特点以及汽车控制信息流传输相关约束规则的特点,根据车辆控制信息流、传输过程中相关约束规则、智能网联汽车状态、状态在某一时段内出现的概率、变迁的前置条件、后置条件,通过将Z语言形式化描述和SPN模型融合成为SPZN模型,然后对SPZN模型进行先精炼操作后抽象操作得到简化模型,保证了简化模型能够不丧失原有的描述能力,同时,简化的SPZN模型能够有效的解决SPN网因节点设备众多而带来的状态爆炸问题和Z框架动态能力和实时性不足的问题,提高系统的协同控制性能和效率。

Patent Agency Ranking