对象Petri网在信息安全建模中的应用

Object Petri Nets' Application in Information Security Model

文章通过对信息安全的需求分析,提出了对信息安全需求用层层分解、逐步细化的方法来构造信息安全模型。同时把对象Petri网引入到信息安全系统的建模中,通过只有机密性需求的安全系统的实例来说明:应用OPN对信息安全系统建立的模型可以根据安全需求随意地删除和添加模型中的部分,从而使信息安全模型满足不同水平的信息安全需求。

In this paper,from information security requirement analysis,constructing information security model is put forward through ring upon ring decomposing and progressively thinning method.At the same time ,object Petri nets is in-troduced among the modeling of information security system.The model applying OPN can be deleted and added at ran-dom according to the security requirement ,thus makes information security model meet the information security require-ment for different levels,which is proved by the instance of security system that only has the requirement of secret.