基于策略的网络安全模型及形式化描述

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:herojian
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当前许多安全技术从不同方面增强了网络安全。但是各类技术相对独立,冗余性大,在可管理和可扩展性方面都存在很多局限,没有从系统的角度提出一个很好的全面的解决方案。文本首先从系统整体安全的角度提出了新颖的信息安全系统的参考模型,并用形式化方法描述了模型中的一些关键技术。最后描述了参考模型在实际安全系统设计中的应用。
其他文献
服饰作为一种文化形态,贯穿了中国各个时期的历史。从历代服饰的演变中可以看出历史的变迁、经济的发展和中国文化审美意识的嬗变。无论是商的“威严庄重”,周的“秩序井然”
对某SUV发动机罩优化前后进行了NVH模态性能研究.建立了车型发动机罩有限元模型,利用NASTRAN软件对车型发动机罩进行了前6阶模态分析,计算结果表明,优化后的发动机罩在满足Eu
提出某型直升机数字旋翼转速表的研制方案,给出以频率/数字(F/D)变换电路为核心的主要硬件原理,分析了采样误差的产生及抑制误差的措施。装机部件研制成功证实了方案的可行性
20年前,邓小平在南方视察时重要讲话中指出:“马克思主义并不玄奥。马克思主义是很朴实的东西,很朴实的道理”,“学马列要精,要管用的。长篇的东西是少数搞专业的人读的,群众怎么
报纸
语言为交流而生,翻译为语言不同的人群交流而产生。因此翻译是一项覆盖多领域的工作。翻译人员不仅需要在日常积累知识,更要从每次珍贵的实践中查漏补缺。本文是一篇中日陪同
蒺藜苜蓿(Medicago truncatula)是国际上广泛用于研究仅属于豆科植物或者与之有关的某些生物过程的豆科模式植物,这些生物过程无法采用模式植物拟南芥进行研究。蒺藜苜蓿的基因
本文利用计算机对现有燃气轮机注蒸汽的改装性能进行了模拟计算.考虑具体燃气轮机各部件性能影响,给出模拟计算的模型及对日本S1A-02型燃气轮机注蒸汽改装性能模拟的结果.分
采集大量巴东黄土坡滑坡原状滑带土样本,采用CT扫描获取原状滑带土内部颗粒分布,并初步判断样本属土–石混合体。挑选典型CT扫描图像并经过栅格化处理,对原状滑带土进行三轴
随着我国市场经济体制改革的发展及进步,传统事业单位在经济管理工作过程中采用的管理方式已经无法满足现阶段市场经济体制的相关要求及标准,由于事业单位属于非营利性性质使
阶级理论是西方马克思主义者研究和探讨的中心,本文从西方马克思主义发展的历程简述其阶级理论的观点,以此反观西方马克思主义者对马克思阶级理论的坚守继承、完善发展或修正