面向电子商务服务的可信软件关键技术及集成方案研究

网络软件涉及的社会、法律和算法技术等规则（协议），运行时多方参与和计算的行为随机性和并发性，对网络软件的可信研究提出了挑战，网络软件的可信研究已经不是一个软件主体自身独立的问题，需要同时研究主体、客体、规则等综合问题。本项目将在已有研究成果的基础上，从网络软件可信的主体属性和服务属性出发，在系统生态演化模型、服务主体可信、客户行为可信分析及非可信行为防范等方面，重点研究可信的指标体系、度量方法和显示集成。建立可信指标的完备集和基于实变的优化度量算法，通过研究电子商务系统的历史数据分析和语义挖掘技术，构建交易行为可信模式；建立可信信用等级服务；研究电子商务系统风险防范体系。基于本项目及已有的研究成果，以"大蒜交易系统"为试验性环境，开展网络软件的可信性集成验证研究，开发可信验证演示平台，为网络软件可信提供集成方案。