查询词典 internetwork protocol

The Post Office Protocol and the Internet Mail Access Protocol are each a set of rules for delivering e-mail from a server such as sendmail to an e-mail client such as Netscape, elm, or pine .

邮局协定和因特网邮件存取协定是每个递送电子邮件的一组规则从一服务器如此的当做对一个电子邮件用户端，像是网景、树或松树发送邮件。

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.

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

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技术是专为分布式系统设计的形式描述技术，特别是通信服务和协议。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。