kailar 中文意思是什麼
kailar
解釋
托勒密-
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 ）理論。
分享友人