层次化行为可信性验证
为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证了转化的等价性.效率分析结果表明,层次化的验证方式提高了存储效率和验证效率,能解决细粒度可信动态度量的可行性问题.
可信计算、可信动态度量、行为可信性验证、层次化方法
38
TP309(计算技术、计算机技术)
国家“973”计划资助项目2007CB311100;国家“863”计划资助项目2009AA012437;国家“核高基”资助项目20IOZX01037-001-001
2012-10-24(万方平台首次上网日期,不代表论文的发表时间)
共6页
1396-1401