查询词典 protocol

It is an internationally organized, non-profit corporation that has responsibility for Internet Protocol address space allocation, protocol identifier assignment, generic and country code Top-Level Domain name system management, and root server system management functions.

它是非盈利的国际组织，负责因特网协议地址空间分配，协议标志符分配，国家和地区代码顶级域名系统管理以及根服务器系统管理功能。

It is a standard protocol in the internet protocol suite now.

这是目前因特网上使用的一个标准协议。

Internet Protocol,the most basic protocol to communicate on the Internet.

Internet协议是在Internet上进行通讯的最基本的协议。

The simple network management protocol forms part of the internet protocol suite.

简单网络管理协议是互联网协议组件的一部分。

Internet Protocol is a connectionless protocol that provides network address and routing through an internetwork.

因特网协议是一个无连接协议，它提供了通过互联网络的网络地址和路由。

The basic architecture model of the trunk server is introduced, and an implementation on applying this model to interwork between H.323 and SIP protocol is covered. The key issues on implementing protocol translation are discussed as well.

本文介绍了中继服务器的基本结构模型，以及该模型应用于H.323和SIP协议互通的实现，并对转换过程中几个关键问题进行了讨论。

JAIN标准-use Java realization TCAP protocol, it s one important protocol ...

用Java实现的TCAP协议，是7号信令的主要协议之一。

Finally, the strict formal analysis is made for ZDB protocol(1999) proposed by Zhou et al. With this new method, as a result there exists 2 possible attacks in the ZDB protocol under non-secrecy channels: leakiness of secret information and reply attacks.

最后本文用新方法对Zhou等人(1999)提出的 ZDB协议进行了严格的形式化分析，结果发现该协议在非保密通道下存在两个可能的攻击：保密信息泄露和重放攻击。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

With the further development of computer network, communication network and the distributed system, communication protocols are more and more complicated, formal description technology plays the indispensable role in the network protocol design. LOTOS - as one of the ISO standards of FDT, is designed for distributed systems, especially for communication service and communication protocol.

随着计算机网络、通信网络以及分布式系统的不断发展，通信协议有日渐复杂化的趋势，形式描述技术在网络协议设计中占有举足轻重的作用，作为国际化标准之一的LOTOS技术是专为分布式系统设计的形式描述技术，特别是通信服务和协议。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。