A model-driven approach for vulnerability evaluation of modern physical protection systems