论文部分内容阅读
对BLP(Bell-LaPadula)模型在时域的安全特性进行了深入分析,指出一种在时域上对BLP模型的错误理解,并给出新的模型安全性证明,表明BLP模型在时域上符合机密性要求,不存在安全漏洞。
BLP模型的时域安全研究
【摘 要】
：
对BLP(Bell-LaPadula)模型在时域的安全特性进行了深入分析,指出一种在时域上对BLP模型的错误理解,并给出新的模型安全性证明,表明BLP模型在时域上符合机密性要求,不存在安全
【机 构】
：
四川大学,四川大学
【出 处】
：
计算机应用
【发表日期】
：
2005年12期
【基金项目】
：
国家973资助项目(1999035801)
其他文献
当前我国路基工程建设规模的扩大,对其施工技术应用中的作用效果提出了更高的要求。实践中为了确保路基石方爆破和填筑施工有效性,保持其良好的施工作业落实效果,则需要注重
目的在门诊纤支镜检查中采用盐酸哌替啶注射液联合咪达唑仑麻醉,分析安全性。方法随机选取2017年8月~2018年7月我院门诊收治的纤支镜检查患者54例作为研究对象,根据数字表法
目的——提高口腔专科护士继续教育的效果。方法——回顾总结我院近5年来开展口腔专科护士继续教育方法，通过理论和操作考核、护理科研、病人满意度调查、医生对护理工作满意
本文主要针对PowerPC在合成孔径雷达成像算法的性能进行评估,评估的对象是基于E600内核的MPC7448处理器。通过和应用广泛的高性能浮点DSP芯片TigerSharc201比较,可以看出,相
怎样提取网页中由JavaScript脚本动态生成的URL,一直是网页采集器设计的一个难题,文中给出了一个基于JavaScript引擎的通用的解决办法和模块实现以及测试结果。
<正>写作教学是语言教学的重要环节,写作通常是检测学生对语言知识掌握程度的一种手段。对学生作文中的语法错误,教师都会作出反馈。对语法错误的反馈依反馈形式不同可分为口
<正>"电感和电容对交变电流的影响"此节课与生产生活联系比较紧密,本实验设计的理念是来源生活中的一物多用、多人合作、重复利用、创新与改进.同时生产生活中的实验技能也是
文档向量化的质量对于文本分类的速度和准确度有着很大的影响。对文档向量化中常用的TF-IDF公式,互信息量公式以及信息增益公式进行了分析。提出一种基于词频差异的特征选取
针对B2C电子商务环境下物流配送路径优化的最基本模型,设计了一种禁忌搜索算法,进行了算例测试和比较。测试结果表明,该禁忌搜索算法在计算时间、优化效果等方面比有记忆功能
目的 对比分析左氧氟沙星三联疗法与阿莫西林三联疗法在治疗消化性溃疡方面的疗效。方法 从本院消化性溃疡患者当中选取60例为研究对象，把这些患者随机的分为两组：对照组和观察