【摘 要】
：
隐通道分析是高等级可信评估的重要指标,在TCSEC、CC和我国的GB17859—1999等标准中均有相关要求.隐通道的威胁审计是隐通道分析的重要组成部分,目前一般使用TCSEC的纯带宽标
【基金项目】
：
本课题得到国家自然科学基金（60773049）、江苏省自然科学基金（BK2007086）、江苏省高校自然科学研究计划（07KJB520016）和江苏大学高级人才项目（07JDG053）资助.
论文部分内容阅读
隐通道分析是高等级可信评估的重要指标,在TCSEC、CC和我国的GB17859—1999等标准中均有相关要求.隐通道的威胁审计是隐通道分析的重要组成部分,目前一般使用TCSEC的纯带宽标准,但它并不能全面反映出隐通道的威胁.通过形式化地定义隐通道,研究其可量化属性,分析其空间拓扑结构,建立了一个用于隐通道计算的代数系统.通过引入威胁度和威胁率两个概念给出了一种新的威胁审计度量方法,新方法与已有的纯带宽方法兼容,能够从多个不同的角度对隐通道的威胁程度进行较为全面的度量.进一步,在隐通道代数系统的支持下给出了
其他文献
远程证明是可信计算的一个重要特征，目的是证明远程平台的身份或配置信息是否可信．常用的二进制证明方法不仅暴露了本地平台的配置信息，而且在现实情况中很难处理平台多样性问题
目的探讨IL-6/JAK/STAT3和Smad3/TGF-β1信号通路在肝癌细胞上皮-间质转化(EMT)发生过程中的作用。方法分别予TGF-β1、IL-6、AG490刺激人肝癌细胞株(HepG2、Bel7402、MHCC97
目的探讨肝动脉栓塞化疗(TACE)与射频消融(RFA)对肝细胞癌患者疗效及肝储备功能的影响。方法选取我院2013年10月—2016年10月收治的肝细胞癌患者124例,根据随机数字表法分成
目前正在广泛进行的产权制度改革给为数众多的中小企业注入了新的生机和活力,但认真剖析改制成功的企业,我们不难发现,单纯的产权人格化并不能完全解决企业面临的诸多问题,在
50年代初期,美国著名管理学家霍华德·鲍恩的《工商业家的社会责任》一书出版后,人们纷纷发表自己的看法,提出了社会责任“只是创造利润”、“不仅是创造利润”、“是自
宝鸡市企业改革工作,在市委、市政府的领导下,大中型企业的股份制改造进展顺利,截止目前全市已组建股份有限公司16户,其中上市公司4户;有限责任公司125户.但小企业的改制工作
随着软件与网络的融合，以网络为基础的软件系统在规模、用户数量、组成单元的交互关系方面都成数量级的增长，成为一类重要的复杂系统，超出了开发人员的理解和控制．文中首先分析软
目的探讨胃癌术后复发的治疗体会,总结胃癌复发的诊治规律。方法选择胃癌复发病例58例,行手术切除或化疗。结果 31例可手术切除患者1、3、5年生存率分别为71.2%、30.4%和15.9