专利交易市场

本发明请求保护一种基于节点休眠和路由维护的CoAP协议代理缓存方法，属于网络应用层技术领域。本发明在面向资源受限IP网络设计的CoAP(Constrained Application Protocol)协议的基础上，提出一种基于节点休眠和路由维护的CoAP协议代理缓存方法。该方法包括三项内容：一种代理关系维护方法、一种缓存资源信息库维护方法和一种能反映资源变化趋势、存储资源占用少、便捷用户操作的临近过期检验方法。本方法的优势在于，增强CoAP协议对节点休眠和路由维护网络情景的支持，便捷用户对周期性休眠服务器的操作，能够对路由器吞吐量和网络时延进行有效控制。

基于UDP协议的共享智能门锁读写器接口系统，属于接口转换技术领域，解决了现有多个应用系统无法共享一个门锁读写器的问题，本发明基于UDP协议的共享智能门锁读写器接口系统减少系统软件空间占用，每个客户端应用系统连接一个客户端模块，服务端模块与门锁读写器连接，客户端模块通过端口进行数据传输；服务端采用操作函数对接接收的操作指令进行解码并控制门锁读写器进行操作。本发明适用于多台应用系统使用一台门锁读写器时应用。

本发明涉及一种用于自定义CoAP协议的自动分析验证方法及装置，包括：分别对标准CoAP协议和自定义CoAP协议进行形式化描述，并基于此分别构建标准CoAP协议公理化模型和自定义CoAP协议符号模型，将自定义CoAP协议与标准CoAP协议进行匹配，得到自定义CoAP协议的裁剪位置结果；基于裁剪位置结果，将标准CoAP协议公理化模型映射到自定义CoAP协议符号模型中，得到自定义CoAP协议公理化模型；依据自定义CoAP协议部署的网络环境选择威胁模型，并确定在威胁模型下自定义CoAP协议对应的安全属性；针对选择的威胁模型，进一步细化调整自定义CoAP协议公理化模型结构，得到Tamarin模型；将Tamarin模型与需要验证的安全属性输入Tamarin验证器，得到验证结果。本发明用于自定义CoAP协议的安全验证。