主要研究高安全等级的数据库管理系统实现的关键技术,如形式化安全分析技术、隐蔽通道分析技术、安全审计分析技术以及当数据库管理系统面临入侵时的入侵发现、数据受损评估和受损数据恢复等技术。