排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
基于软件行为的可信动态度量 总被引:2,自引:0,他引:2
提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型. 相似文献
1