2) combination of water shortage types
缺水类型组合
4) types of shortage
紧缺类型
5) type flaw
类型缺陷
1.
The method is effective for type flaw attack discovery through modeling and analysis of Otway-Rees protocol.
在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的。
2.
This paper uses the authentication test method to analyze the protocol with the type flaw by getting rid of the strong typing abstraction and adding the concept of the strand templates and a pseudo-operation of the penetrator.
通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 。
6) absence of types
类型缺失
补充资料：血液有形成分各种类型的血细胞虚线指示中间类型的细胞。
李瑞端绘
[图]
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条