基于MILS多级安全架构的远程调试机制

针对多级安全架构的特点,面向多重独立安全等级(MILS)多级安全架构的远程调试技术,提出一种基于目标机通信框架的管理和协同调试机制。通过改造目标通信框架,实现符合MILS分区间通信系统安全要求的应用分区独立调试,并对传统硬件JTAG调试方法进行改进,从而完成多分区协同调试。分析结果表明,该机制不仅符合MILS安全性的要求,而且解决了MILS系统开发、单分区应用开发的嵌入式远程调试问题。