信息安全技术

1. 国产自主平台下可信执行环境的设计与实现

软件与算法

1. 基于扩展UML图化简的过程模型冲突消解