Generating attack scenarios for the system security validation