Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.
针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法。
To facilitate the service discovery, this article also defines a universal service description model, data format and transport protocol between the service interactive entities.
同时,定义了一种统一的服务描述模型,并规定了服务注册的数据格式和通信方式。
To facilitate the service discovery, this article also defines a universal service description model, data format and transport protocol between the service interactive entities.
同时,定义了一种统一的服务描述模型,并规定了服务注册的数据格式和通信方式。
应用推荐