Security analysis and improvements of a communication-efficient three-party password authenticated key exchange protocol

By Tso Raylin  

The Journal of Supercomputing, Vol. 66, Iss. 2, 2013-11 ,pp. : 863-874

Springer Publishing Company

Access to resources Recommend Favorite

Automated Reasoning for Security Protocol Analysis

By Armando Alessandro   Basin David   Cuellar Jorge   Rusinowitch Michaël   Viganò Luca  

Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. : 1-3

Springer Publishing Company

Access to resources Recommend Favorite

Towards an Awareness-Based Semantics for Security Protocol Analysis

By Accorsi R.   Basin D.   Vigano L.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 1, 2004-01 ,pp. : 1-20

Elsevier

Access to resources Recommend Favorite

Efficient decision tree for protocol analysis in intrusion detection

By Abbes T.   Bouhoula A.   Rusinowitch M.  

International Journal of Security and Networks, Vol. 5, Iss. 4, 2010-12 ,pp. : 220-235

Inderscience Publishers

Access to resources Recommend Favorite

Towards formal analysis of wireless LAN security with MIS protocol

By You Ilsun   Hori Yoshiaki   Sakurai Kouichi  

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 7, Iss. 2, 2011-03 ,pp. : 112-120

Inderscience Publishers

Access to resources Recommend Favorite