隐蔽信息流相关论文
隐蔽信息流检测是开发高等级安全系统必须解决的关键问题，也是证明系统可信性的重要组成部分。隐蔽信息流存在的根本原因是，系统的安......
隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级......
提出了一种基于安全自动机的信息流实时监控技术,该技术防范了恶意用户通过程序结构的缺陷窃取机密信息。监控机制使用了下推自动......
