刘大昕 战扬

隐通道分析 串行图 信息流图法 多级安全事务 多级关系 更新语义 安全操作系统 信息流 多级安全数据库系统 并发控制 2阶段锁

哈尔滨工程大学计算机科学与技术学院 黑龙江哈尔滨 山东青岛 山东科技大学信息科学与工程学院 黑龙江大学计算机科学技术学院