层次化行为可信性验证 (2012年)

为了缓解度量粒度细化引发的可用性降低，基于并发理论提出层次化的行为可信性验证模型及方法．将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式，转化为基于一种层次化的预期行为描述的可信性验证，相关定理保证了转化的等价性．效率分析结果表明，层次化的验证方式提高了存储效率和验证效率，能解决细粒度可信动态度量的可行性问题．