| 基于逻辑关系和约束的保护轮廓生成模型研究 |
| |
| 引用本文： | 黄达明,时静艳,曾庆凯. 基于逻辑关系和约束的保护轮廓生成模型研究[J]. 计算机应用与软件, 2008, 25(3): 1-3,11 |
| |
| 作者姓名： | 黄达明 时静艳 曾庆凯 |
| |
| 作者单位： | 1. 南京大学计算机软件新技术国家重点实验室,江苏,南京,210093
2. 南京大学计算机科学与技术系,江苏,南京,210093 |
| |
| 基金项目： | 国家自然科学基金（60773170,60721002,60473053）;国家863计划（2006AA012432,2004AA147070）;江苏省自然科学基金（BK2005074）. |
| |
| 摘 要： | 提出一个基于逻辑关系和约束的保护轮廓生成模型。通过分析保护轮廓的组成结构、生成原理，总结了保护轮廓的内在逻辑关系和约束条件，给出了保护轮廓生成过程和相关自动化处理算法。最后，讨论了生成模型在安全保护等级划分准则要求下的应用。
|
| 关 键 词： | 保护轮廓 逻辑关系 约束 通用评估准则 GB17859 |
| 收稿时间： | 2006-04-25 |
| 修稿时间： | 2006-04-25 |
A PROTECTION PROFILE GENERATION MODEL BASED ON LOGIC RELATIONS AND RESTRICTIONS |
| |
| Huang Daming,Shi Jingyan,Zeng Qingkai. A PROTECTION PROFILE GENERATION MODEL BASED ON LOGIC RELATIONS AND RESTRICTIONS[J]. Computer Applications and Software, 2008, 25(3): 1-3,11 |
| |
| Authors: | Huang Daming Shi Jingyan Zeng Qingkai |
| |
| Affiliation: | Huang Daming Shi Jingyan Zeng Qingkai(State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210093,Jiangsu,China)(Department of Computer Science , Technology,China) |
| |
| Abstract: | A PP(Protection Profile) generation model based on logic relations and restrictions is proposed.The PP structure and the generation principle are described,and the innate logic relations and restrictions of PP are analyzed.The algorithm for PP generation and the related automation process algorithm are presented.Finally,the application of the generation model under the PP rank partition criteria is discussed. |
| |
| Keywords: | Protection profile Logic relation Restriction Common criteria GB17859 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
