论文部分内容阅读
在TCSEC和CC标准中,软件要获得B2或EAL5及以上安全级的认证,必须要进行隐通道分析。通过建立隐通道的仿真系统,根据试验分析隐通道的性质,其中一些性质是在以往基于源代码或顶级描述的静态隐通道分析中没有观察到的。对这些性质的成因,做了理论上的解释,并提出了分两步进行的隐通道审计方法。
隐通道的仿真分析
【摘 要】
：
在TCSEC和CC标准中,软件要获得B2或EAL5及以上安全级的认证,必须要进行隐通道分析。通过建立隐通道的仿真系统,根据试验分析隐通道的性质,其中一些性质是在以往基于源代码或顶级描述的静态隐通道分析中没有观察到的。对这些性质的成因,做了理论上的解释,并提出了分两步进行的隐通道审计方法。
【机 构】
：
江苏大学计算机科学与通信工程学院,卡尔顿大学计算机学院
【出 处】
：
系统仿真学报
【发表日期】
：
2006年06期
【基金项目】
：
国家自然科学基金资助项目（60573046）
其他文献
提出了在蓝牙2.0+EDR新规范中加入采用BCH编码的数据分组,以有效地提高蓝牙的数据传输速率以及抗干扰能力;根据蓝牙标准协议对数据包的定义推导出了新增数据分组的分组特性;分析了在AWGN信道下原有的DH分组和新采用BCH编码数据分组的数据重传概率与平均接收信噪比的关系,并且计算出了各个数据分组在不同信噪比的情况下数据传输吞吐量。仿真结果表面,在蓝牙2.0+EDR新规范中采用BCH编码方式,明显地
烟囱钢筋混凝土外筒壁施工质量对于观感和结构安全非常重要,文章以常用的三角架翻模施工工艺为例,从原材料、周转材料、加工过程、施工流程等方面对三个主要的分项工程(钢筋
发病年龄逐渐趋于年轻化，是目前人类面临的糖尿病的现状。本来是风华正茂的年轻人，被糖尿病这个将要纠缠一生的疾病盯上，对之后的生活或多或少都会有一些影响。所以，年轻人要在糖
真空断路器虽然维护工作量小，并可以频繁操作，但如选择和使用不当，则可能造成爆炸等不良后果，本文对如何正确选择和使用真空断路器提出一些建议。
每次在学术会上看到贾伟平院长，笔者都被她那高贵优雅的气质，妙语连珠的言谈，广博高深的学识所深深吸引。记得有一篇名为《倚风无语淡生香》九三学社社员报道，把贾院长比作花中君