摘要
对BLP(Bell-LaPadula)模型在时域的安全特性进行了深入分析,指出一种在时域上对BLP模型的错误理解,并给出新的模型安全性证明,表明BLP模型在时域上符合机密性要求,不存在安全漏洞。
Based on a thorough research on the time-domain security of BLP（Bell-LaPadula） model, an incorrect understanding on the time-domain security of BLP model was pointed out, and a new theoretical proof about the time-domain security of BLP model was given. The BLP model accords well with the requirement of confidentiality was indicated,
出处
《计算机应用》
CSCD
北大核心
2005年第12期2723-2724,共2页
journal of Computer Applications
基金
国家973资助项目(1999035801)
