可信软件构造相关论文