CC安全功能组件形式化分析

黄元飞; 何德全; 陈明奇

您当前的位置：

首页 >

文章列表页 >

CC安全功能组件形式化分析

更新时间：2024-10-14

- CC安全功能组件形式化分析
- The formal analysis of CC security functional components
- 通信学报 2003年第7期页码：164-169
- 作者机构：
  
  1.   国家计算机网络与信息安全管理中心
  2.   中国工程院
  3.   国家计算机网络与信息安全管理中心北京100031
  4.   北京100044
- 作者简介：
- 基金信息：
  
  国家科技兴贸行动计划基金资助项目（2001-EE-66-0008）
- DOI：
  中图分类号： TP309
- 纸质出版日期：2003
- 稿件说明：
移动端阅览
[1]黄元飞,何德全,陈明奇.CC安全功能组件形式化分析[J].通信学报,2003(07):164-169.

HUANG Yuan-fei1, HE De-quan2, CHEN Ming-qi1. The formal analysis of CC security functional components[J]. 2003, (7): 164-169.
[1]黄元飞,何德全,陈明奇.CC安全功能组件形式化分析[J].通信学报,2003(07):164-169. DOI：

HUANG Yuan-fei1, HE De-quan2, CHEN Ming-qi1. The formal analysis of CC security functional components[J]. 2003, (7): 164-169. DOI：

摘要

先提出了一种CC（common criteria）安全功能组件的形式化分析方法

对CC中的135个组件分别作形式化分析

评估各组件规范安全功能要求的确定性

并在此基础上进一步分析安全功能类的标准化规范程度及其优缺点。1

Abstract

This document contain a formal analysis of the CC security functional components to evaluate the 搒pecialization level?of the components and a few interpretations derived from the results of the analysis.

关键词

Keywords

references

浏览量

130

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

室内定位隐私保护综述

无线隐蔽通信容量限与实现技术综述

信息安全领域内实体共指消解技术研究

基于混沌理论的彩色QR编码水印技术研究

工业以太网协议脆弱性与安全防护技术综述

CC安全功能组件形式化分析

The formal analysis of CC security functional components

DOI：

摘要

Abstract

关键词

Keywords

references