A methodology for testing IPSec-based systems