6.This paper describes computer security and especially discusses several security models, including finite-state machine model, access matrix model, Bell--Lapadula(BLP)model,and information flowmodel.
7.Based on the gas flowmodel in gas reservoir and the fluid flowmodel in horizontal well, a couple model is developed and used for numerical computing study of single flow performance in horizontal borehole.