可信软件小组

小组介绍

该小组主要方向为网络系统的安全性评估,以及软件可信性的研究,致力于主动,准确,及时地发现系统中存在的漏洞,并结合网络可能遭受到的入侵,对网络系统进行态势评估,同时通过建立可信评测平台以及软件可重构工具,达到软件的可靠,稳定的运行。

目前小组承担及参与,和税友软件集团股份有限公司、重庆大学承担自然科学基金“可信软件基础研究”重大研究计划重点项目“面向国家电子税务系统的可信软件试验环境与示范应用”,和中国兵器工业集团207研究所合作推进军用软件方面研究,和同济大学等合作,承担自然科学基金“可信软件基础研究”重大研究计划集成项目等多项国家重点项目。

小组组长

范铭 博士

2013年9月入学,主要研究安卓软件分析。与小组成员一同参与国家自然科学基金“可信电子税务网络发票系统试验环境及其实证研究“,“面向国家电子税务系统的可信软件试验环境与示范应用”以及“可信网络交易软件系统试验环境与示范应用”等。

小组成员

博士后:屈宇

博 士:张晓东、田振洲、王海军、范铭、晋武侠、池剑磊

研 三:刘沛、庄尔悦

研 二:陈泽华、郝宇、崔笛、佟菲菲

研 一:刘欣宇、尹文浩、金洋旭

小组成果展示