【技术实现步骤摘要】
本专利技术涉及软件安全，具体涉及一种基于满足性问题的软件许可验证方法。
技术介绍
1、软件许可证管理对于软件产业的健康发展至关重要，然而，传统的软件验证机制，例如简单的序列号、密钥或基于账号密码的验证方式，都存在着明显的安全漏洞，难以抵御日益复杂的攻击手段。这些传统方法通常依赖于密码的复杂度或密钥的保密性，一旦密钥泄露或密码被破解，软件的版权保护将形同虚设，给软件开发者带来巨大的经济损失。同时，集中式的账号密码管理也面临着单点故障和数据泄露的风险。进一步的，恶意攻击者可以模仿成正规的验证方，骗取用户的密码，由此导致账号密码管理存在极大的风险。
2、后量子密码学方案的兴起为解决这些问题提供了新的思路，但其部署和应用仍存在技术门槛。而基于np完全问题的密码学方案，例如利用满足性问题(即3-sat问题)的计算复杂度构建的系统，则提供了一种更加稳健的解决途径。3-sat问题属于np完全问题，其求解难度随着问题规模的增加呈指数级增长，目前没有多项式时间算法能够有效解决。这种计算上的固有复杂性，为构建高安全性的软件许可验证提供了坚实的理
【技术保护点】
1.一种基于满足性问题的软件许可验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的一种基于满足性问题的软件许可验证方法，其特征在于，所述步骤(1)的具体过程步骤为：
3.根据权利要求2所述的一种基于满足性问题的软件许可验证方法，其特征在于，所述步骤(2)申请交互中，将授权用户发送交互申请的两台通讯设备之间的空间距离记作d，两台通讯设备分别记作第一交互设备和第二交互设备。
4.根据权利要求3所述的一种基于满足性问题的软件许可验证方法，其特征在于，所述步骤(3)的具体过程步骤为：
5.根据权利要求4所述的一种基于...
【技术特征摘要】
1.一种基于满足性问题的软件许可验证方法，其特征在于，包括以下步骤：
2.根据权利要求1所述的一种基于满足性问题的软件许可验证方法，其特征在于，所述步骤(1)的具体过程步骤为：
3.根据权利要求2所述的一种基于满足性问题的软件许可验证方法，其特征在于，所述步骤(2)申请交互中，将授权用户发送交互申请的两台通讯设备之间的空间距离记作d，两台通讯设备分别记作第一交互设备和第二交互设备。
4.根据权利要求3所述的一种基于满足性问题的软件许可验证方法，其特征在于，所述步骤(3)的具体过程步骤为：
5.根据权利要求4所述的一种基于满足性问题的软件许可验证方法，其特征在于：所述置换矩阵p是一个n×n的矩阵，置换矩阵p的每一行和每一列的n个矩阵元都有...
【专利技术属性】
技术研发人员：李明阳，翁晨洵，陈增兵，张超，徐乃瑞，朱梦雅，
申请(专利权)人：南京大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。