慈林林,杨明华,田成平,盛兵著2015 年出版383 页ISBN:9787030428684
本书介绍了虚拟化技术、可信移动终端技术,论述了基于安全属性的行为度量技术、基于可信基的动态度量技术和基于控制流与信息流的软件度量技术。不仅包括理论基础,同时包括实现方法与应用。本书是对作者近年来...
司冠南著2015 年出版209 页ISBN:9787121251344
本选题从实体个体层面,研究了网构软件的可信实体模型,使实体具有感知环境刺激而自主演化的能力;从实体间协同的层面,研究了网构软件实体间的信任约束机制,为实体协同、合作和竞争提供了有力的评估依据;在系统层.....