一种支持软件资源可信评估的框架.pdfVIP

ISSN 1000嗣9825， CODEN RUXUEW 也mail: jos@ísc脯. Journal ofSoftware, Vo l.21 , No.2 , February 2010, pp.359-372 http://附 doi: 10.3724/SP.J.100 1.2010.03786 TellFax: +86-) 0 。 by Institute ofSoftware. the Chinese Ácademy ofScienι酬. A l1 rights re阳V创， …种支持软件资源可信评估的框架* 黎斯博 l，1，部拖珍叭部凌籍lA，谢地lZ，部维忠 1，2 1(北京大学信息科学技术学院软件研究所，北京 100871) 2(高可信软件技术教育部重点实验室(北京大学).北京 100871) Framework Supporting Software Assets Evaluation on Trustworthiness l l 2 l l CAI Si-Bo1 ZOUYi翩翩Zhen .2飞 SHAO Ling幡Shuang .2， XIE Bing SHAO Wei-Zhong • 气 气 1(加tiωte ofSo伽棚， SchωlofE1优衍ODícs En阳eering 刷dCompu阳Scienc啤， Pe创ng Universíty, Beijíng 100871 , China) 怡.ey Labora阳y ofHígh Confid佣ceSo加are Techno1ogi耐(PekiDg Universit纱， Minis盯ofEducation， Beijing 100871, Cbina) + Corresponding author: 应;.maíl: zou严@， http:刷响.ω Cai SB, ZOU V z, Sbao 1品Xie B , Sbao WZ. Framework supporting 80ftware assets evaluatioo 00 trustwortbio酬• Journal 01S呐， ware， 1010，11仰:359-371. llOOO-9825/3786.htm Abstract: This paper proposes a 命amework supporting 50食wareωsets evaluation on 仿ustworthines5， analyzes the technologies included in this framework, such as evidence collection, trust management for evidence, trustworthines8 evaluation andωon. Furthermore, this paper presents the design decísions and solutions of this framework in so食ware 侃set library of Peking University. A detaíled c翩翩dy is also given Key words: 80班wareωset library; so食ware 衍ustworthiness; trustworthiness evaluation 摘 费: 提~了一种支持软件资源可信评估的框架，并分析了该报架涉及到的技术，如讯捞收集、证据信任管级和 可信评估等.阐述了该框架在北京大学软件资