A Formal Analysis Method for Enhancing the Security of E-Commerce Protocols
Deyu Qi · Computer Engineering and Science · 2009
We use semi-regular entities to denote the entities that participate in the protocol on behalf of themselves such as the customers in e-commerce.A method for the strand space model is also presented.After the description of hash and the Diffie-Hellman exchange,the semi-regular strand and the semi-regular node are added into the model.Finally,an attack on the Internet Key Exchange(IKE) protocol is presented as a case.