Indexed by：
Abstract：
为了缓解度量粒度细化引发的可用性降低，基于并发理论提出层次化的行为可信性验证模型及方法．将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式，转化为基于一种层次化的预期行为描述的可信性验证，相关定理保证了转化的等价性．效率分析结果表明，层次化的验证方式提高了存储效率和验证效率，能解决细粒度可信动态度量的可行性问题．
Keyword：
Reprint Author's Address：
Email：
Source ：
北京工业大学学报
ISSN： 0254-0037
Year： 2012
Issue： 9
Volume： 38
Page： 1396-1401
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 1
Chinese Cited Count：
30 Days PV： 12
Affiliated Colleges：
