Application of Improved Kailar Logic in Protocol Analysis
Pla Information · Computer Engineering and Applications Journal · 2005
This paper presents an approach for the analysis of e- commerce protocols by improving Kailar Logic.This approach provides a set of inference rules for reduction and analysis of signature and cryptograph.Thus it not only analyzes the accountability of e- commerce protocols,but also the fairness.Compared with other approach,this one can help avoid the weakness of Kailar Logic and analyze complex e- commerce protocols.