The formal analysis of CC security functional components

HUANG Yuan-fei1; HE De-quan2; CHEN Ming-qi1

您当前的位置：

首页 >

文章列表页 >

The formal analysis of CC security functional components

更新时间：2024-10-14

- The formal analysis of CC security functional components
- Issue 7, Pages: 164-169(2003)
- 作者机构：
  
  1.   国家计算机网络与信息安全管理中心
  2.   中国工程院
  3.   国家计算机网络与信息安全管理中心北京100031
  4.   北京100044
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP309
- Published：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

Views

669

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Survey on chaos-based low probability of interception communication technology

Survey on privacy protection indoor positioning

Survey of capacity limits and implementation techniques in wireless covert communication

Research on coreference resolution technology of entity in information security

Research on color QR code watermarking technology based on chaos theory

Related Author

ZHOU Ang

WANG Shilian

CHEN Weiyu

XIA Guojiang

Zhiheng WANG

Yanyan XU

Weiyu CHEN

Junshan LUO

Related Institution

Beijing Institute of Astronautical Systems Engineering

College of Electronic Science and Technology, National University of Defense Technology

State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing, Wuhan University

State Key Lab of Rail Traffic Control and Safety,Beijing Jiaotong University

College of Information and Communication, National University of Defense Technology

AI问答

⁰