论文部分内容阅读
本文首先对安全评估标准CC(ISO/IEC15408)的辅助工具CC Toolbox作简单介绍,然后对CC Toolbox的工作流程和操作细节进行了介绍和讲解,最后对CC Toolbox提出了一点改进设想.
CC Toolbox的研究及其改进
【摘 要】
：
本文首先对安全评估标准CC(ISO/IEC15408)的辅助工具CC Toolbox作简单介绍,然后对CC Toolbox的工作流程和操作细节进行了介绍和讲解,最后对CC Toolbox提出了一点改进设想.
【机 构】
：
国防科技大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2005年9期
【基金项目】
：
中国科学院资助项目，国防预研基金
其他文献
为了保证实时系统在发生任务失效时仍旧能够正常地工作，通常采用软件容错模型来提高实时系统的容错能力。本文分析了软件容错模型中的BCE容错调度算法，针对该算法中的反向调度
针对CAN总线的数据通信的可靠性,本文论述了CAN总线数据通信传输中所使用的检错纠错编码技术,着重研究了CAN总线中CRC序列的一种工作机制,提出了相关的实现方法.
在数据处理过程中,频繁的数据操作莫过于数据的插入、删除和修改。合理的触发器设计主要用于保护表中的数据,并通过防止非授权或不一致的修改来确保数据的完整性。本文结合具
中国较多城市位于地下水丰富的地区，长期饱水黏土在地质变动下会出现带压裂隙涌水。带压裂隙涌水有出水量大、出水点范围小、出水点集中于基坑较低点的特点。采用钢桶止水方法
旁压试验（PMT）和标准贯入试验（SPT）都具有测试深度大、适用范围广等优点。利用旁压试验可以获得土体变形模量和抗剪强度，利用标准贯人试验可以获得土体标准贯入击数，建立二者之间的
短信网关在短信服务中起着至关重要的作用.本文首先介绍了短信网关的业务流程和工作机制,然后以一个自主开发的企信通系统论述了短信网关在其中所发挥的作用.