软件代码安全性确保技术研究-北京邮电软件学院

软件代码安全性确保技术研究

作者: 时间:2016年04月22日 17:38 点击数:

研究单位:北京邮电大学软件学院

课题负责人:陆天波

结题时间:2012年12月       本课题为北京邮电大学青年科研创新计划专项项目

以软件代码安全确保研究为基础,该课题从基础理论、关键技术等方面讨论如何确保软件的安全性(Security)、保险性(Safety)、可靠性(Reliability)及生存性(Survivability),按照从模型研究入手、以具体技术为突破、使用和改善现有安全确保工具的思路开展研究。就代码安全性分析具体技术上,该课题通过静态分析、动态分析等方面的研究和探索,针对程序设计中容易存在的多种安全问题,探索了问题的根源及检测方法。最后通过对代码安全确保工具优缺点的比较,给出了一些提高软件安全的建议,并针对不同语言的代码安全确保工具进行了使用和改进。

北京市昌平区北七家镇北京邮电大学宏福校区(102209) 010-58828027