论文部分内容阅读
软件只有处于运行状态其中寄生的隐通道才能工作，并对系统形成实质性的安全威胁．应用软件的执行需要操作系统的支撑．在多安全级操作系统中，赋予主体的安全级是通过赋予用户和代表用户的进程实现的．本文提出一种基于进程调度的动态隐通道消除算法LTHC，其核心思想是在操作系统进程优先级调度算法的基础上增设安全级的约束，构造一个按安全级排列的进程运行阶梯，迫使信息只能单向地从低向较高的安全级流动．LTHC算法具有进程公平调度和处理死锁的机制，对存储隐通道和时间隐通道均有效．