书目详细信息 : 复杂计算系统可信技术与方法研究