EKE Protocols Analysis Based on Logic Programming
Yadi Wang · Jisuanji gongcheng · 2007
Based on the Spi calculus and the logic programming rules,a new technique is presented to verify cryptographic protocols.The technique makes it possible to verify security of the protocols,in a fully automatic way.By analyzing the EKE protocol,it finds a new attack——parallel session attack,and this result demonstrates the analysis power of the technique for protocol security.