一种安全协议模型检测方法

摘     要：本发明提供一种模态逻辑转换成状态迁移系统的方法，属于计算机系统检测领域。包括：定义一种特殊的公式即交替公式；应用已知的性质以逻辑推导的方式推出其具有推迟的特殊性质；针对这一特殊性质定义一套新的优化规则；应用特殊性质及优化规则应用于线性时序逻辑到状态迁移系统的转换过程的某些步骤之中。在转换过程中逐步实现状态迁移系统的缩小和确定化。相较于传统的转换方法，本方法可以生成更小的状态空间，获得更确定化的迁移关系，尤其当参数较多时，往往拥有更快地转换速度。因此，提高了模型检测在应用到计算机硬件、通信协议、控制系统、安全认证协议等方面进行分析与验证时的速度、效率，保证了其质量，有良好的社会效益。

著 录 项： 

• 1． 买家选定所需专利，确认国家手续办理方，下单，确认交易合同；
  2． 卖家确认专利可交易；
  3． 买家支付交易款项到平台；
  4． 买卖双方签订《专利转让委托书》、《转让协议》、《解除代理委托书》各一式两份并提交给办理国家手续方；
  5． 办理国家手续方提交办理官方手续，国家知识产权局1个月左右下发《著录项目变更手续合格通知书》；
  6． 买家确认收到《专利证书》、《著录项目变更手续合格通知书》；
  7． 平台把交易款项支付给卖家，至此专利转让合同完成。
  

• 交易方	企业	个人
  买家	营业执照副本复印件（需盖公章）	身份证复印件（签字）
  	专利转让委托书（需盖公章）一式两份	专利转让委托书（需签字）一式两份
  	专利转让协议（需盖公章）一式两份	专利转让协议（需签字）一式两份
  卖家	营业执照副本复印件（需盖公章）	身份证复印件（需申请人签字）
  	解除代理委托书（需盖公章）一式两份（如专利通过代理机构申请）	解除代理委托书（需签字）一式两份（如专利通过代理机构申请）
  	专利转让协议（需盖公章）一式两份	专利转让协议（需签字）一式两份
  	专利请求书或手续合格通知书、授权通知书复印件	专利请求书或手续合格通知书、专利授权通知书复印件
  	专利证原件（若授权下证）	专利证原件（若授权下证）

• 日期

  法律信息

  备注