东华大学 计算机科学与技术学院 李悦（讲师）导师介绍

 讲授课程：

• 本科生:  计算机网络
• 本科生:  应用密码学
• 本科生:  C语言程序设计
• 本科生:  网络安全

 主要研究成果：

1.  [1] 形式化分析密钥管理协议   利用模态逻辑形式化分析了多种密钥管理协议，发现了四个协议存在安全漏洞，这些研究成果分别以论文形式被发表。 撰写的标题为“On The Logical Verification of a Group Key Agreement Protocol for Resource Constrained Mobile Devices”的论文获得澳大利亚通讯网络及应用会议（ATNAC’07）最佳文章二等奖（共有300人参加了这次学术会议）   2005-2008 
2.  [2] 为WSN设计了一种安全的密钥协商协议  为无线传感器网络设计开发了一种基于椭圆曲线加密算法的密钥协商协议，并在MICAz和TelosB模块上建立了该协议的原型   2006-2009

 荣誉及获奖：

• ATNAC2007最佳会议论文  撰写的标题为“On The Logical Verification of a Group Key Agreement Protocol for Resource Constrained Mobile Devices”的论文获得澳大利亚通讯网络及应用会议（ATNAC’07）最佳文章二等奖（共有300人参加了这次学术会议）   2007

 联系方式：

• 电话：021-67792809
• 邮箱：frankyueli@dhu.edu.cn
• 办公室：1号学院楼104室