Formal authentication of security protocol is an important field of network security.

安全协议的形式化验证是网络安全的一个重要领域。

youdao

Protocol 2.06: (Kernel 2.6.22) Added a field that contains the size of the boot command line.

协议2.06：(内核2.6.22)增加了一个域，用来存放启动命令行的大小。

youdao

Protocol 2.06: (Kernel 2.6.22) Added a field that contains the size of the boot command line.

协议2.06：(内核2.6.22)增加了一个域，用来存放启动命令行的大小。

youdao