Login / Signup

Development of a test suite for the verification of implementations of the IPsec v2 security protocol.

A. V. NikeshinNikolay V. PakulinV. Z. Shnitman
Published in: Program. Comput. Softw. (2011)
Keyphrases
  • test suite
  • security protocols
  • test cases
  • software engineering
  • development process
  • model checking
  • software testing
  • security services
  • decision trees
  • case study
  • artificial immune algorithm