论文部分内容阅读
先提出了一种CC(common criteria)安全功能组件的形式化分析方法,对CC中的135个组件分别作形式化分析,评估各组件规范安全功能要求的确定性,并在此基础上进一步分析安全功能类的标准化规范程度及其优缺点。1
CC安全功能组件形式化分析
【摘 要】
：
先提出了一种CC(common criteria)安全功能组件的形式化分析方法,对CC中的135个组件分别作形式化分析,评估各组件规范安全功能要求的确定性,并在此基础上进一步分析安全功能类的标准化规范程度及其优缺点。1
【机 构】
：
国家计算机网络与信息安全管理中心,中国工程院
【出 处】
：
通信学报
【发表日期】
：
2003年07期
【基金项目】
：
科技部科技兴贸行动计划
其他文献
数字档案馆是大数据时代高校档案馆的发展方向。建设高校数字档案馆，要把握档案信息资源建设这个着力点、档案信息管理与利用这个切入点、档案人才队伍建设这个支撑点、档案信
地铁环控系统主要用于调节地铁环境参数及控制空气质量,对地铁环控系统节能的研究意义重大。介绍了地铁环控系统的组成及其作用,从降低车站需要的冷量、减小机组的电耗、控制
乡村旅游的客源主要来自城市,对城市居民吸引力最大的是乡村旅游氛围。可将乡村旅游氛围定义为:基于城市居民认知的乡村特性和生活便利性需求而设置的特定乡村旅游环境,这种
人才是企业持续发展的第一资源。当前企业面临着持续健康发展的较大压力，加强人才资源的开发利用，是保障企业科学发展的重要课题。要高度重视人才工作，把人才开发利用摆在优先发
本文提出一种MPEG 2视频解码的硬件结构 ,并采用VHDL进行了描述。为实现MPEG 2视频的实时解码 ,本文针对时序控制、变长码解码、反量化、IDCT、运动补偿和输入输出控制等各部分都提出了相应的高性能的电路结构。验证和仿真的结果表明 :本文的设计可以完成相应的功能 ,能被用于实现MPEG 2MP @ML的实时解码芯片。
[目的]分析海南省东方市降雨量、侵蚀性降雨量及降雨侵蚀力在不同时间尺度上的趋势变化及其相关性,为该区生态环境建设、水土流失治理及土壤侵蚀机理研究提供科学支持。[方法