A Strand Space Semantics of Kailar Logic
Miao Xiang · 2006
In 1996,Kailar presented a paper,namely“accountability in electronic commerce protocol”,which quickly be- came the most widely used and widely discussed formal method for the analysis of electronic commerce protocol.The se- mantics of logic is very important about soundness of logic,but no one have given a semantics of Kailar logic.In this pa- per,a strand space semantics of Kailar logic is presented and the correctness of Kailar logic's rules are proved.