International Journal of Communications, Network and System Sciences

Vol.3 No.10(2010), Paper ID 2843, 9 pages

DOI:10.4236/ijcns.2010.310104

 

A Comparative Analysis of Tools for Verification of Security Protocols

 

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

 

 

Copyright © 2010 Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article


N. Dalal, J. Shah, K. Hisaria and D. Jinwala, "A Comparative Analysis of Tools for Verification of Security Protocols," International Journal of Communications, Network and System Sciences, Vol. 3 No. 10, 2010, pp. 779-787. doi: 10.4236/ijcns.2010.310104.

Copyright © 2026 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.