软件安全性分析的Petri网方法(续2)

三、软件安全性分析 1.问题的提出 当前计算机正在被广泛应用于各个领域。当计算机被作为一个子系统而嵌入一个复杂的物理系统之中时,由于计算机的运行错误(包括软件运行的错误)就可能导致人员的伤亡、财产的损失或环境的破坏等灾难性后果。特别是当计算机软件在武器系统中的地位不断提高,作用不断增强。