高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
基于软件行为的可信动态度量
作者：
收录：
摘要：
提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2012，北京工业大学学报
2011，计算机研究与发展
2013，电脑与信息技术
2014，
来源 ：
武汉大学学报(理学版)
ISSN： 1671-8836
年份： 2010
期： 2
卷： 56
页码： 133-137
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 38
中文被引频次：
近30日浏览量： 4
归属院系：
全文获取
外部链接：
