Extending the Constraint Solving Method for Analysis of Security Protocols with Commutative Encryption

Jalili,S. and Mahdi Sajjadi,S. (2012). Extending the Constraint Solving Method for Analysis of Security Protocols with Commutative Encryption. (e215824). The CSI Journal on Computer Science and Engineering, 10(1), e215824

Jalili,S. , and Mahdi Sajjadi,S. . "Extending the Constraint Solving Method for Analysis of Security Protocols with Commutative Encryption" .e215824 , The CSI Journal on Computer Science and Engineering, 10, 1, 2012, e215824.

Jalili S., Mahdi Sajjadi S. (2012). 'Extending the Constraint Solving Method for Analysis of Security Protocols with Commutative Encryption', The CSI Journal on Computer Science and Engineering, 10(1), e215824.

S. Jalili and S. Mahdi Sajjadi, "Extending the Constraint Solving Method for Analysis of Security Protocols with Commutative Encryption," The CSI Journal on Computer Science and Engineering, 10 1 (2012): e215824,

Jalili S., Mahdi Sajjadi S. Extending the Constraint Solving Method for Analysis of Security Protocols with Commutative Encryption. CSIonJCSE, 2012; 10(1): e215824.