ANALYSIS OF A NON-REPUDIATION PROTOCOL USING LOGICAL DEDUCTION MAP ANALYSIS METHOD OF SECURITY PROTOCOL
Liu Yong-jie · Journal of South China Normal University · 2008
Security protocol analysis method usually can't clarify the function of a protocol factor to the realization of protocol goal.With the protocol deduction analysis method based on modal logic,using Java Expert System Shell(JESS),a protocol deduction analysis tool is realized and used in the analysis of a non-repudiation protocol,which shows the functions of protocol factors to the realization of protocol goal and leads to the determination of redundancy in this protocol.Comparing with the result before, this method can clarify the contributions of protocol factors.On the other hand,it is presented that the modal-logic based protocol analyzing method is over dependency on assumptions.