支持软件可信评估的框架及其应用研究
软件在日常生活中的广泛应用使得如何保障软件的可信性成为当前的研究热点,而对软件进行可信评估是软件可信研究中的一个重要方面。目前已有的研究工作中存在适用的软件形态受限、评估的可信属性不全面、未提供具体的应用实现等不足。针对上述问题,在已有相关工作的基础上进行了改进和扩展,提出了一种通用的软件可信评估框架,阐述了应用该框架实现可信评估的具体过程,并给出了详尽的案例分析,最后基于该框架开发了可信评估管理系统,验证了框架实施的可行性。此项研究适用于不同形态的软件,支持可信属性的定制,对于软件可信评估活动的成功实施具有一定的指导作用。
软件可信 可信评估 属性模型 证据模型 评估指标体系
洪宏 黄志球 沈国华 钱巨 刘春勇
南京航空航天大学 信息科学与技术学院,江苏 南京 210016
国内会议
苏州
中文
198-206
2010-11-04（万方平台首次上网日期，不代表论文的发表时间）