“信息安全性工程自动化智能化”系列论文

程京德

放在这里交流的是本人及学生们在“信息安全性工程自动化智能化”研究方向的系列论文（中文论文，持续存放，主要目的是向国内介绍我们的工作），一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。

宝达，程京德：“基于ISO/IEC国际标准的信息安全性工程数据库群及其应用”，信息安全研究(http://ris.sic.gov.cn)，第3卷第8期，701-709，2017年8月.

PDF: ISEE_JISR3n8_701_2017.pdf

宝达，陈惠琳，孙文，程京德：“基于国际标准CC和CEM的计算机系统信息安全性评估认证支持平台”，信息安全研究(http://ris.sic.gov.cn)，第3卷第7期，638-646，2017年7月.

PDF: ISEE_JISR3n7_638_2017.pdf

闫靖晨，程京德：“基于CC的安全性规格形式化描述及验证方法”，信息安全研究(http://ris.sic.gov.cn)，第3卷第7期，617-623，2017年7月.

PDF: ISEE_JISR3n7_617_2017.pdf

闫靖晨，高宏彪，程京德：“基于前推的密码协议形式化分析方法”，信息安全研究(http://ris.sic.gov.cn)，第3卷第5期，462-468，2017年5月.

PDF: ISEE_JISR3n5_462_2017.pdf