Improved BLP model for multi-level secure network
Xueping Zhang · Journal of Computer Applications · 2013
SBLP,an improved BLP(Bell-LaPadula) model was presented for exchanging information in multi-level secure networks securely and efficiently.Its finite-state machine definition and state change rules were given,and its security was formally proved.The model provides a theoretical base to information exchanging in multi-level secure networks by attaching objects and subjects with changeable secure labels,and gave full consideration to subjects creating,subjects illegal tracking and so on,which can slove the problems of BLP model using in the multi-level secure network.Finally,a simple scenario using the model was given.