(1)获奖情况 1、指导学生参加2017-2018全国高校“西普杯”信息安全铁人三项赛获得二等奖 2、指导学生参加2020年全国大学生数学建模竞赛获得云南赛区本科组三等奖 (2)教学/科研项目 1、主持云南省教育厅面上项目基于逻辑的安全协议分析方法研究,已验收 2、主持昆明理工大学校人培项目安全协议的分析与设计研究,已结题 3、主持昆明理工大学校青年基金项目基于NTRU公钥密码体制的数字签名研究,已结题 4、参与国家自然科学基金地区基金项目柬埔寨语命名实体识别及汉柬双语可比语料库构建方法研究,排名第二,已结题 5、参与云南省科技厅其它项目基于移动嵌入系统的涉密数据公网环境可信传输技术研究,排名第二,已验收 6、参与昆明理工大学校青年基金项目基于纹理分析和形状恢复的图象图形融合方法研究,排名第二,已验收 (3)论文 1、分析和设计安全协议的新逻辑铁道学报 2、基于密集连接卷积神经网络的入侵检测技术研究 电子与信息学报 3、一种分析和设计认证协议的新逻辑计算机工程 4、Kailar逻辑的串空间语义计算机科学 5、安全协议的等价性问题计算机工程 6、Needham-Schroeder私钥协议的改进计算机工程 7、认证协议设计逻辑的语义计算机工程 8、Denning-Sacco密钥分配协议的分析与改进昆明理工大学学报 9、一种三方认证密钥协商协议的分析与改进计算机工程 10、一种改进的三方认证密钥协商协议计算机工程 (4)知识产权 1、SM4加密和解密软件V1.0计算机软件著作权 2、替换加密和解密软件V1.0计算机软件著作权 3、S-AES加密和解密软件V1.0计算机软件著作权 4、Hill加密和解密软件V1.0计算机软件著作权 5、置换加密和解密软件V1.0计算机软件著作权 6、Vigenere加密和解密软件V1.0计算机软件著作权 7、对称密钥的生成软件计算机软件著作权 8、DES加密软件计算机软件著作权 9、AES加密软件计算机软件著作权 10、S-DES加密和解密软件计算机软件著作权 (5)专著、教材 无 |