【摘 要】
：
云安全是目前云计算研究的热点之一.作为云安全基础的可信计算,目前仍存在一些关键问题有待解决,这使得云安全事实上是有缺陷的.针对可信计算中的动态行为可信度量问题,本文
【机 构】
：
武汉轻工大学数学与计算机学院,不莱梅雅各布大学电子和计算机工程学院,南京邮电大学计算机学院,武汉数字工程研究所
【基金项目】
：
国家自然科学基金(61502438,61502362);湖北省自然科学基金重点项目(2015CFA061)资助~~
论文部分内容阅读
云安全是目前云计算研究的热点之一.作为云安全基础的可信计算,目前仍存在一些关键问题有待解决,这使得云安全事实上是有缺陷的.针对可信计算中的动态行为可信度量问题,本文提出了一种基于无干扰的云环境行为可信性分析方法.首先,基于可信计算组织TCG(Trusted Computing Group)和学术界对于“可信”的定义,给出了行为可信的判定等式.进一步地,建立了基于状态递归等价的行为可信的充要条件,解决了目前尚没有有效的行为可信性验证方法的问题目前没有见到类似结论.最后,本文给出了实验示例,证明了方法是有效的
其他文献
“杨辉三角”中某些矩阵及其行列式的讨论张之正，刘麦学（河南洛阳师范专科学校数学系４７１０２２）近来，许多作者对杨辉三角中的矩阵和行列式进行了讨论（如［１］─［５］），文［６］还给出了一类矩阵的逆矩阵的求法
随着现代化工业和城镇化进程的快速发展,由此带来的水体污染已经成为急需解决的严峻问题。氯酚类物质作为有机溶剂被广泛的应用于药物研究、染料工业、精细化工等行业。由于
敬语作为一种语言表达形式和文化符号，浓缩了日语的内涵，也反映了日本社会的文明与进步。日本历史和社会关系的发展变化反过来又影响和制约着人们使用敬语的意识。日语敬语随着
<正>本文主要讨论西藏自治区拉萨市在以社会稳定第一、自然环境恶劣、经济滞后的情况下如何基于环境保护这一方向来发展经济。依据拉萨近十年的产业发展数据,阐述了经济组成
在机载相控阵雷达罩电性能测试过程中，由于被测天线是相控阵天线，使得测试方法与经典测试方法有所不同。文中对搜零法在相控阵雷达罩电性能测试中的应用进行了探索，确定了搜零系
油气管道封堵抢修技术能够在一定程度上降低管道的运营成本,减少事故内容的发生。本文通过对管道封堵抢修技术的发展现状进行合理化的探究,希望能够起到一些积极的参考作用。
研究一种基于三维电极电化学反应器处理有机废水的新方法。研究结果表明：采用活化后的活性炭作为粒子电极,通过产生？OH自由基有效降解废水中的EDTA,其去除率受进水pH、电流和电
网络虚拟物理实验教学是在计算机与网络技术的基础上采用的一种新型的物理实验教学模式,其独特的经济性、可靠性、共享性、高效性和开放性,可以弥补实体实验的不足。将其有效
为了了解京红蛋鸡的体重、胫长和小肠生长规律。本文运用Logistic、Gompertz和Bertalanffy3种非线性模型分别对017周龄京红蛋鸡体重、胫长和小肠进行生长曲线拟合和分析。结
研制婴儿培养箱温度集中监测与报警系统，并对采集数据的准确性和稳定性进行评估。建立基于ZigBee的无线传感器树簇型网络拓扑模型，婴儿培养箱内放置传感器终端节点，病房走廊放置