国家自然科学基金面上项目（主持）项目名称：基于标号Petri网的行为安全互模拟研究（No. 61572360, 2016.1-2019.12）项目简介：安全性是网络环境下的系统（如网上银行交...[详细]
