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

作     者：单蓉胜 王明政 李建华 

作者机构：上海交通大学电子工程系上海200030 

基　　金：国家863高技术研究发展计划项目基金资助(编号:2001AA147020B) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2003年第39卷第13期

页      码：68-71页

摘      要：当前许多安全技术从不同方面增强了网络安全。但是各类技术相对独立,冗余性大,在可管理和可扩展性方面都存在很多局限,没有从系统的角度提出一个很好的全面的解决方案。文章首先从系统整体安全的角度提出了新颖的信息安全系统的参考模型,并用形式化方法描述了模型中的一些关键技术。最后描述了参考模型在实际安全系统设计中的应用。

主 题 词：信息安全 身份控制 访问控制 安全通信 安全检测 

学科分类：0839[0839] 08[工学] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2003.13.022

馆 藏 号：203690586...