Multi-domain access control formalized modeling method based on label attributes

The invention discloses a multi-domain access control formalized modeling method based on label attributes. The method comprises the following steps: constructing intra-domain and inter-domain access control formalized models; firstly, an intra-domain access control target program is analyzed, basic security attributes are described in a formalized mode, then an intra-domain access control rule is analyzed, access control operation is described through the security attributes, and an intra-domain access control formalized model is achieved through an agreement access control strategy. On the basis, an inter-domain access control mechanism is researched, a target program is analyzed, tag attributes are extracted, and then security attribute extension is achieved through the tag attributes. And the method also includes analyzing an inter-domain access control rule by abstracting an inter-domain access control primitive; and describing an inter-domain access control strategy by using the extended security attrib