1) redundancy protocol
冗余协议
1.
It constructs full information items based on requirement to get a redundancy protocol firstly,and then uses theorem proven to prove the security of the designed protocol.
该方法首先根据协议规范构造全信息项及冗余协议,使用定理证明保证冗余协议的安全性。
2) protocol redundancy
协议冗余
1.
On this basis, approaches of mea- suring protocol redundancy and corresponding simplification were then put forward.
为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 。
2.
The definition ofprotocolsecurity goal satisfaction measurement is given formally, aswellasthe analyzing and reducing method of protocol redundancy.
简要说明了对安全协议进行协议度量和冗余度量的一个基于模态逻辑方法,形式化地给出了协议对安全目标满足度的度量方法定义, 并讨论了相应的协议冗余分析和化简方法。
4) VSRP
虚拟交换冗余协议
5) Virtual Router Redundancy Protocol(VRRP)
虚拟路由冗余协议(VRRP)
6) redundant four-phase latch control (RFLC) protocol
冗余四段握手协议
补充资料：基因冗余
基因冗余
一条染色体上出现一个基因的很多复份(复本）。例如，黑腹果蝇的核仁形成中心就拥有一个基因的几百个复份，控制着rRNA分子的18S和28S组分。 【基因内抑制】 (intragenie suppression）参见"抑制"。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条