温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种基于满足性问题的软件许可验证方法，包括以下步骤：许可颁发中心为软件的授权用户产生一个随机3‑SAT问题，并将该3‑SAT问题的信息和3‑SAT问题的解作为该授权用户的数字许可证信息，然后再发送给授权用户和软件验证方；授权用户...
该专利属于南京大学所有，仅供学习研究参考，未经过南京大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。