理论研究

 

理论研究方面,实验室重点研究:

  • 用于支撑电子商务、电子政务等重要网络应用的信息安全技术,包括不可否认服务和新型PKI理论与实现模型,虚拟专用网技术等;
  • 安全认证协议形式化理论,研究并扩展已有的认证协议形式化理论SVO逻辑,使其能够描述认证协议的各种特性,研究认证协议设计与分析的自动化工具,辅助认证协议的设计与开发;
  • 网格计算环境的安全模型与相关技术,包括访问控制服务和通信安全服务等方面;
  • 面向目前对互联网络威胁最大的蠕虫病毒防范的新型网络入侵检测模型与方法;
  • 网络与系统安全事件的应急响应方法与相关技术,重点是取证学方面,以及新型的自动响应模型与实现方法;
  • 无线局域网安全理论与技术,包括接入保护技术、接入控制技术、密码技术、服务质量保证技术、Ad hoc安全技术以及支持高速移动的认证服务技术等。
 
 
 


地址:江苏省南京市东南大学路2号,计算机楼360-366  邮编:211189
电话:025-83791020
Copyright ©2004 jssec.seu.edu.cn