一种基于Bell-LaPadula模型的单向传输通道

来源 :计算机科学 | 被引量 : 0次 | 上传用户:zcysun618
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在物理隔离情况下,为确保内部网络的安全,数据只能从低密级网络向高密级网络传输。由于没有信息反馈,单向网络协议使传统数据库同步技术无法生效,且数据在传输过程中极容易发生信息丢失和信息错误。针对这些难点问题,引入BLP安全模型进行分析,在数据库同步和高可靠传输方面提出了安全可靠的解决方案,并对依据该方案设计出来的单向传输通道进行了可用性分析。
其他文献
分析了现有的4类文本水印算法的优缺点。应用RSA加密算法和BCH纠错编码对水印数据进行预处理,以增强水印数据的安全性和鲁棒性。通过改变word文档中字符颜色RGB分量的低位有
提出一种改进的基于模式的故障诊断方法。将故障定义为可以用正则表达式描述的模式,避免了传统的用"特殊"事件表示故障的局限性。将正则表达式转化成等价的确定性有限自动机,便
提出了一种基于XML小枝查询片段松弛的近似查询与结果排序方法来实现用户在XML文档中的近似查询:通过收集用户的查询历史来推测用户偏好,并以此计算原始小枝查询分解得到的查
在形式概念分析中,"箭头关系"对简化形式背景、识别兼容子背景等起着至关重要的作用,因此如何快速确定一个给定形式背景的对象与属性间的箭头关系是一个值得探讨的问题。首先针
近年来随着高速网络技术的发展与高频交易需求的增加,提升交易速度成为电子商务交易提供者的重要关切。当前交易系统通常采用基于共享存储的主备机复制方法来保证高可用性与
未标注或遗失关键词给科技文献的分类和导航工作带来一定困难,针对这一问题,提出了基于文献摘要内容的关键词自动标注算法。该算法使用标注过关键词的文献摘要作为训练文本,
为多种密码学构造性质良好的布尔函数一直是对称密码学研究中的一个难点问题。最近,涂自然和邓映蒲基于一个二元组合猜想的正确性,构造了两类具有最优代数免疫度的布尔函数,
提出了一种数据空间中的命名实体集成模型(NEIM)及其在异质异构数据源中的集成方法。命名实体模型描述了数据源、实体与实体描述间的关系,能够实现从其中任意一个息查询到其它
合理的调度可以在很大程度上提高人力资源在软件项目开发中的利用率。在研究了现有的任务调度算法的基础上,考虑了软件开发任务的可拆分特性,结合员工的技能水平与项目经验对
基于系统调用的入侵检测是当前信息安全领域的研究热点之一。全面分析了已有的基于系统调用的入侵检测的理论与技术,总结了近年来的研究进展,并对其发展趋势进行了展望。随着