1) attribute relationship consistency rule
属性关系一致原则
2) attribute consistent relation
属性一致关系
1.
The paper defines the relation of attribute and attribute consistent relation on the basis of attribute measurement,and the properties and operation are discussed.
本文在属性测度的基础上定义了属性关系及属性一致关系,并讨论了它们的性质及运算。
4) principle of consistency
一贯原则;一致性原则
5) correspondence relation
一致性关系
1.
Then,we propose and prove a correspondence relation between the two languages,and analyze the Needham-Schroeder public key protocol by using it.
论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR和Spi演算之间在分析安全协议安全性时的一致性关系定理,利用这个关系对Needham-Schroeder公钥协议进行安全性分析。
补充资料：大国一致原则
联合国安理会的一项表决原则。
安理会表决实行每一理事国一票。对于程序事项决议的表决采取9个同意票即可通过。对于非程序事项或称实质性事项的决议表决，要求包括全体常任理事国在内的9个同意票，又称大国一致原则，即任何一个常任理事国都享有否决权。常任理事国的弃权或者缺席不被视为否决，不影响决议的通过。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条