International Journal of Computer and Communication System Engineering (IJCCSE)
Testing for protocol security has recently attracted increasing interest from both solution vendors in network industry and research communities. Security protocols have been playing an important role in the critical distributed systems such as e-commerce and military infrastructure. Most security protocols use cryptography to achieve data transmission, authentication and key distribution in a hostile environment It is to a large extent unknown whether and how the traditional protocol functional testing approach could be extended to meet these new challenges. In parallel, software security and reliability testing problems have been addressed by researchers using predominantly white-box approaches, in which the source code of the system under test is available for analysis.