作者:庄琭 蔡勉 沈昌祥可信计算可信动态度量行为可信性验证层次化方法
摘要:为了缓解度量粒度细化引发的可用性降低,基于并发理论提出层次化的行为可信性验证模型及方法.将面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式,转化为基于一种层次化的预期行为描述的可信性验证,相关定理保证了转化的等价性.效率分析结果表明,层次化的验证方式提高了存储效率和验证效率,能解决细粒度可信动态度量的可行性问题.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《北京工业大学学报》(CN:11-2286/T)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
省级期刊
人气 366631 评论 69
人气 237998 评论 36
人气 200977 评论 53
人气 153978 评论 33