【摘 要】
：
At present, there are few security models which control the communication between virtual machines (VMs).Moreover, these models are not applicable to multi-leve
【机 构】
：
Department of Computer Science and Engineering
论文部分内容阅读
At present, there are few security models which control the communication between virtual machines (VMs).Moreover, these models are not applicable to multi-level security (MLS).In order to implement mandatory access control (MAC) and MLS in virtual machine system, this paper designs VirtBLP model, which is based on BLP model.For the distinction between virtual machine system and nonvirtualized system, we build elements and security axioms of Virt-BLP model by modifying those of BLP.Moreover, comparing with BLP, the number of state transition rules of Virt-BLP is reduced accordingly and some rules can only be enforced by trusted subject.As a result, Virt-BLP model supports MAC and partial discretionary access control (DAC), well satisfying the requirement of MLS in virtual machine system.As space is limited, the implementation of our MAC framework will be shown in a continuation.
其他文献
The selection of the configuration and size of an aerator was of importance for a tunnel spillway under the conditions of high speed flows. Experimental investi
On the basis of analyzing the result of numerical simulation and that of theoretical analysis,the sys tematic error of some air spring s theoretical formula is
Ti-45Al-9(V,Nb,Y) alloys with four different x=V/Nb (atomic ratio x = 1,1.5,2 and 3.5) have been prepared,and the microstructures,properties and hot deformation
In vivo experiments of screwing the electrode of canine hearts and assigning external excitation on the lead-myocardium interface was carried out to evaluate th
Cognitive radio and cooperative communication can greatly improve the spectrum efficiency in wireless communications.We study a cognitive radio network where tw
我国农村土地流转依然存在着政府干预过度、机制不够健全、流转不够规范、服务不够到住等问题.笔者认为,要结合农村的实际,深入剖析存在问题的原因,加快完善农村土地流转法律
Laser cladded coatings of TiCN were produced on the surface of titanium. To obtain the optimal techniques, several conditions were tested by varying the laser s
To reveal the reason of weld-line movement in hydroforming of a tailor-welded tube (TWT) with dissimilar thickness,the stress ratio of axial stress to circumfer
传统养羊所喂饲草往往不经过任何加工调制,像玉米秸秆多数以整株干秸喂养,这样饲喂后消化利用率低,不仅造成饲草资源的极大浪费,而且羊生长慢,饲养周期长,出栏率低.将玉米秸