基于逻辑关系和约束的保护轮廓生成模型研究

• 作者: 时静艳 曾庆凯 黄达明
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 保护轮廓 逻辑关系 约束 通用评估准则 GB17859
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 基金项目论文
• 页码范围: 1-3,11
• 页数: 4页
• 分类号: TP3
• 字数: 5129字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2008.03.001

摘要

提出一个基于逻辑关系和约束的保护轮廓生成模型.通过分析保护轮廓的组成结构、生成原理,总结了保护轮廓的内在逻辑关系和约束条件,给出了保护轮廓生成过程和相关自动化处理算法.最后,讨论了生成模型在安全保护等级划分准则要求下的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆凯	南京大学计算机软件新技术国家重点实验室	58	555	13.0	21.0
2	黄达明	南京大学计算机软件新技术国家重点实验室	11	40	3.0	6.0
3	时静艳	南京大学计算机科学与技术系	2	3	1.0	1.0