The conception of multilevel security (MLS) is commonly used in the study of data model for secure database. But there are some limitations in the basic MLS model, such as inference channels. The availability and data...The conception of multilevel security (MLS) is commonly used in the study of data model for secure database. But there are some limitations in the basic MLS model, such as inference channels. The availability and data integrity of the system are seriously constrained by it′s 'No Read Up, No Write Down' property in the basic MLS model. In order to eliminate the covert channels, the polyinstantiation and the cover story are used in the new data model. The read and write rules have been redefined for improving the agility and usability of the system based on the MLS model. All the methods in the improved data model make the system more secure, agile and usable.展开更多
Complementing our previous publications, this paper presents the information schema constructs （ISCs） that underpin the programming of specific system manifestation feature （SMF） orientated information management ...Complementing our previous publications, this paper presents the information schema constructs （ISCs） that underpin the programming of specific system manifestation feature （SMF） orientated information management and composing system models. First, we briefly present （1） the general process of pre-embodiment design with SMFs, （2） the procedures of creating genotypes and phenotypes of SMFs, （3） the specific procedure of instantiation of phenotypes of SMFs, and （4） the procedure of system model management and processing. Then, the chunks of information needed for instantiation of phenotypes of SMFs are discussed, and the ISCs designed for instantiation presented. Afterwards, the information management aspects of system modeling are addressed. Methodologically, system modeling involves （1） placement of phenotypes of SMF in the modeling space, （2） combining them towards the desired architecture and operation, （3） assigning values to the parameters and checking the satisfac- tion of constraints, and （4） storing the system model in the SMFs-based warehouse database. The final objective of the reported research is to develop an SMFs-based toolbox to support modeling of cyber-physical systems （CPSs）.展开更多
文摘The conception of multilevel security (MLS) is commonly used in the study of data model for secure database. But there are some limitations in the basic MLS model, such as inference channels. The availability and data integrity of the system are seriously constrained by it′s 'No Read Up, No Write Down' property in the basic MLS model. In order to eliminate the covert channels, the polyinstantiation and the cover story are used in the new data model. The read and write rules have been redefined for improving the agility and usability of the system based on the MLS model. All the methods in the improved data model make the system more secure, agile and usable.
文摘Complementing our previous publications, this paper presents the information schema constructs （ISCs） that underpin the programming of specific system manifestation feature （SMF） orientated information management and composing system models. First, we briefly present （1） the general process of pre-embodiment design with SMFs, （2） the procedures of creating genotypes and phenotypes of SMFs, （3） the specific procedure of instantiation of phenotypes of SMFs, and （4） the procedure of system model management and processing. Then, the chunks of information needed for instantiation of phenotypes of SMFs are discussed, and the ISCs designed for instantiation presented. Afterwards, the information management aspects of system modeling are addressed. Methodologically, system modeling involves （1） placement of phenotypes of SMF in the modeling space, （2） combining them towards the desired architecture and operation, （3） assigning values to the parameters and checking the satisfac- tion of constraints, and （4） storing the system model in the SMFs-based warehouse database. The final objective of the reported research is to develop an SMFs-based toolbox to support modeling of cyber-physical systems （CPSs）.
