kailar meaning in English

托勒密

Give out a correctness proof for the protocol based on the strand space model theory and kailar logic
使用ssm理论和kailar逻辑证明了该协议的安全性质。
In addition , we give the nonrepudiation proof using kailar logic . although the proof based on logic is only a prerequisite to security , it can enhance users " confidence considerably
接着使用kailar逻辑证明了其可追究性，虽然基于逻辑的证明只是满足协议安全目标的必要条件，但该证明的给出可以显著增强使用mb协议的信心。
We study the concept , characteristics , design and analysis method of security protocols and describe detailedly the kailar logic and the strand space model theory , which represents the trend of formal methods of security protocols
深入研究了安全协议的概念、性质、常用的设计和分析方法，并详细描述了kailar逻辑和代表安全协议形式化分析发展方向的stand空间模型( strandspacemodel , ssm )理论。