A Privacy Protection Model on Internal Networks
Information privacy protection is an essential problem in internal networks. The Bell-LaPadula Model (abbreviated BLP) is a state machine model used for enforcing access control, while it cant be used for networks. L-BLP model is designed for Local Area Networks(LAN) while it cant be proved security. We reveal the security problems in L-BLP and propose a security model based on BLP. We define five new state transition rules, which are designed for LAN with high usability. Our model can be proved to be secure in mathematics, and we implement a prototype system based from it. The experimental results show that our model can effectively prevent leakages of secrets.
security model access control BLP L-BLP
Haiwei Xue Xiong Liu Yiqi Dai
School of Computer Science and Technology Tsinghua University, Beijing, China
国际会议
重庆
英文
298-302
2011-08-20(万方平台首次上网日期,不代表论文的发表时间)