检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]山东计算中心山东省计算机网络重点实验室,山东济南250014 [2]山东财政学院计算机信息工程学院,山东济南250014
出 处:《计算机应用与软件》2010年第11期47-49,共3页Computer Applications and Software
基 金:国家自然科学基金项目(60873041)
摘 要:针对手工开发保护轮廓存在的不足,提出一种新的安全要求导出模型,与原有模型相比,该模型的各模块间有着严格的因果关系,有利于安全要求的自动化产生。然后,据此导出模型设计了一种保护轮廓开发系统。该开发系统由数据库和定义模块组成,并基于保护轮廓模板开发新的保护轮廓,开发效率高,对开发人员的要求低,同时开发出的安全要求满足完备性和一致性原则。To remedy the incapability of manual development of protection profile,the thesis puts forward a novel security requirement derivation model.Compared to the original model,the latter is characterised by strict causality among its modules that is beneficial to the security requirement automatic production.Based on the derivation model a new protection profile development system is designed which is composed of a database and definition modules to produce new protection profiles from protection profile templates.The new system is featured by high efficiency for development,low requirements for developers and completeness and consistency of the produced security requirements.
分 类 号:TP368.1[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.28