高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
层次化行为可信性验证
作者：
收录：
摘要：
为了缓解度量粒度细化引发的可用性降低，基于并发理论提出层次化的行为可信性验证模型及方法．将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式，转化为基于一种层次化的预期行为描述的可信性验证，相关定理保证了转化的等价性．效率分析结果表明，层次化的验证方式提高了存储效率和验证效率，能解决细粒度可信动态度量的可行性问题．
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2011，计算机研究与发展
2010，武汉大学学报(理学版)
2014，计算机学报
2011，计算机工程与应用
来源 ：
北京工业大学学报
ISSN： 0254-0037
年份： 2012
期： 9
卷： 38
页码： 1396-1401
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 1
中文被引频次：
近30日浏览量： 3
归属院系：
全文获取
外部链接：
