English translation for "kailar"

托勒密

Example Sentences:

	1.	Give out a correctness proof for the protocol based on the strand space model theory and kailar logic 使用ssm理论和kailar逻辑证明了该协议的安全性质。
	2.	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协议的信心。
	3.	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 )理论。

Similar Words：

"kailana" English translation, "kailang limestone" English translation, "kailani" English translation, "kailanko" English translation, "kailanoceras" English translation, "kailaras" English translation, "kailari" English translation, "kailas" English translation, "kailasa temple" English translation, "kailasahar" English translation