操作系统可信证明体系结构与模型研究



操作系统可信证明体系结构与模型研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→安全保密论文

操作系统可信证明体系结构与模型研究

论文目录
摘要	第1-9页
Abstract	第9-12页
第一章绪论	第12-32页
· 研究背景	第12-14页
· 研究现状及存在的问题	第14-28页
· 可信计算	第14-19页
· 可信证明研究现状	第19-26页
· 操作系统安全研究	第26-27页
· 存在的问题	第27-28页
· 研究内容及主要贡献	第28-31页
· 文章结构安排	第31-32页
第二章操作系统可信证明体系结构	第32-50页
· 可信计算与操作系统安全	第32-33页
· 基于可信计算的终端安全体系研究	第33-36页
· 操作系统可信证明需求	第36-37页
· 操作系统可信证明体系结构	第37-48页
· 设计目标	第37-39页
· 基于双系统的操作系统可信证明体系结构	第39-43页
· 操作系统内部可信证明过程	第43-45页
· 远程可信证明过程	第45-48页
· 可信证明体系结构分析	第48-49页
· 本章小结	第49-50页
第三章进程运行时状态可信证明模型	第50-90页
· 相关研究背景	第50-52页
· 进程运行时状态可信证明模型	第52-71页
· 模型设计思想	第52-53页
· 模型基本元素	第53-57页
· 进程运行时状态可信证明规则	第57-63页
· 进程动态度量策略	第63-71页
· 进程运行时状态可信证明机制	第71-80页
· 总体实现框架	第71-72页
· 进程运行时注册机制	第72-74页
· 进程动态度量机制	第74-75页
· 动态度量触发机制	第75-78页
· 度量证据存储机制	第78-80页
· 进程运行时状态可信证明实验	第80-88页
· 进程运行时证明有效性	第80-86页
· 进程运行时证明性能负载	第86-88页
· 本章小结	第88-90页
第四章操作系统内核运行时状态可信证明模型	第90-108页
· 相关研究背景	第90-92页
· 模型设计思想	第92-93页
· 操作系统内核运行时状态可信证明模型	第93-102页
· 模型基本定义	第93-94页
· 静态完整性证明	第94-97页
· 动态完整性证明	第97-101页
· 动态度量性质	第101-102页
· 模型应用实例与分析	第102-105页
· 内核静态完整性证明实例	第102-104页
· 内核动态完整性证明实例一	第104-105页
· 内核动态完整性证明实例二	第105页
· 模型与相关研究的比较	第105-106页
· 本章小结	第106-108页
第五章计算平台间动态远程证明	第108-130页
· 计算平台动态远程证明概述	第108-109页
· 计算平台运行时状态远程证明	第109-120页
· 问题描述	第109页
· 计算平台运行时状态远程证明协议	第109-112页
5.2.3 基于 LS2逻辑的协议形式化分析	第112-120页
· 计算平台运行时属性远程证明	第120-128页
· 相关研究背景	第120-121页
· 计算平台运行时属性证明总体结构	第121-124页
· 计算平台运行时属性证明协议	第124-125页
· 协议分析	第125-128页
· 本章小结	第128-130页
第六章虚拟计算环境远程可信证明	第130-150页
· 相关研究背景	第130-133页
6.2 IAAS 环境物理计算节点可信证明方法	第133-141页
· 应用场景与基本假设	第133-134页
· 可信云节点注册证明	第134-136页
· 虚拟机启动证明	第136-138页
· 虚拟机迁移证明	第138-140页
· 虚拟机关闭证明	第140-141页
· 可信证明方法分析	第141页
· 虚拟计算平台多级远程证明	第141-148页
· 虚拟计算平台多级证明需求	第142-143页
· 虚拟计算平台多级证明总体结构	第143-144页
· 虚拟计算平台多级证明协议	第144-147页
· 虚拟计算平台多级证明协议分析	第147-148页
· 本章小结	第148-150页
第七章结束语	第150-152页
· 主要工作总结	第150-151页
· 有待进一步研究的问题	第151-152页
参考文献	第152-162页
作者简历攻读博士学位期间完成的主要工作	第162-164页
致谢	第164 页

本篇论文共164页，点击这进入下载页面。

更多论文
操作系统可信证明体系结构与模型研
关联课程数据组织及知识管理研究
语音压缩感知关键技术研究
系统药物设计方法发展及应用研究
靶向Kv1.3多肽对EAE模型大鼠的治疗
热机械固结Al-7Si-0.3Mg合金微观组
褪黑激素影响山羊绒生长的分子机理
亚治疗剂量四环素饲喂对牛源微生物
绒山羊绒毛生长相关基因的筛选、鉴
图像识别技术在猪蓝耳病诊断中的应
绵羊肺腺瘤病相关基因突变的检测及
乳腺特异表达嗜热菌糖苷酶转基因牛
美国橡树林碳水通量7年变化规律的研
苜蓿花药培养与雄性不育差异表达分
河套灌区含有马铃薯的复种体系建立
多年免耕轮作对内蒙古黄土高原旱作
高中地理课程中活动的设计与教学策
公路顺层岩质边坡稳定及其影响因素
澳大利亚并购投资相关法律制度研究
日本金融消费者保护法律问题研究
大学生村官形象的建构与媒体传播
中国共产党党政领导干部选拔任用理
基于多尺度创新原理的工业微生物高
木质纤维素生物炼制过程的流体力学
提高乳聚丁苯橡胶单体转化率和环保
ABS树脂高性能化制备技术及其中间体
草叶马尾藻多糖的制备及其抗草酸钙
SAPO-34催化剂的制备及在甲醇制烯烃
基于智能计算的系统动态优化方法及
Phillips铬系聚乙烯催化剂活性中心
智能聚电解质刷复合纳米粒子的制备
炭质光催化复合材料制备及液相有机
离子液体调控介质的溶解性能及相关
论《世说新语》人物品藻的生态审美
心理治疗的哲学研究--心理治疗的基
实践自我的主体论诗学--七月诗派诗
南朝公牍文研究
新感受力四重奏--苏珊·桑塔格审美
浓磁半导体薄膜的制备、电子结构和
基于遥感与地表特性的鄂尔多斯高原
RIG-1与几种病毒相互作用的分子机理
基于博弈理论的多目标生产调度问题
生物学哲学中的机制研究
淡水养殖环境中有机氯和有机磷农药
德国牧羊犬繁殖相关规律的研究
新兴黄鸡生长和屠宰性状与微卫星标
鸡新城疫耐热保护剂活疫苗（La Sot
安徽科技学院SPF鸡实验屏障系统的建
多聚核苷酸在鸡体内的药动学及残留
饲料中三聚氰胺检测方法的研究
马钱子碱隐形脂质体的制备与性质研
植物非试管快繁智能控制系统的研究
胡萝卜（Daucus carota L.）先期抽
BM-MSCs通过增强MDSCs免疫抑制功能
两种野生菊缓慢生长离体保存研究
根癌农杆菌介导的水稻转基因体系研
滁菊品质影响因子的初步研究
南京地区运动场草坪杂草化学防除技
温州生态园的生态修复策略研究
盐城沿海开发中生态环境保护工作的
1-取代苯基-3-（1-烃氧亚氨基）苯甲
猪圆环病毒2型高密度培养的研究
富含甘油和有机硒的复合益生菌制剂
江苏省部分地区动物弓形虫病血清学
籽粒苋耐盐特性及盐肥耦合效应研究
基于GIS的江苏省溧阳市耕地地力评价
茶多酚对奶牛乳腺上皮细胞氧化应激
辣椒EST-SSR分布特征及其相关应用研
提高紫花苜蓿与多年生黑麦草、苇状
提高西藏地区小麦秸秆与多年生黑麦
添加啤酒糟对水稻秸秆与农副产品混
甘蓝抽薹期性状的遗传研究
云南文山三七种植区土壤和三七中砷
双价抗虫转基因水稻的育成和鉴定
过氧化氢对高表达转玉米C₄
莲子草假隔链格孢SF-193防除空心莲
土地利用规划环境影响评价指标体系
强化蜈蚣草富集砷的微生物菌剂开发
木质素与多头切花菊弯颈及蚜虫抗性
杂交青虾“太湖1号”生物学特性及养
复合植物源抗应激剂的研制及在中华
溴氰菊酯残留的检测方法及对河蟹的
EHEC O157：H7 Intimin和Tir-Tccp蛋
阿莫西林/克拉维酸钾对犬的安全性与
枣两个木质素合成相关基因的克隆及
外源NO对高温胁迫下半夏生长及品质
上海市崇明县休闲生态园建设与规划
三丁基锡（TBT）对奥利亚罗非鱼精巢

可信计算论文操作系统论文可信证明论文体系结构论文运行时状态论文动态度量论文
版权申明：目录由用户Vince**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved