在创建可证明证据中应用CHESS方法的系统过程| IEEE会议出版物| IEEE Xplore