The task-deployment models of simulation, is mainly used to solve the problem of the unreasonable tasks partition in the simulation of distributed computer network attack and defense exercises. This paper gives a task-deployment model for the simulation of computer network attack and defense exercises through analyzing and formally describing the input, output and the environment of deployment model, constructing the pushdown automaton model of task-deployment - PDAMTD, and validating the termination of the model. This formal validation shows that this model could be computed to the end, and this model prepares for specific algorithms of deployment in theory.
展开▼