摘要：采用消息过滤算法可以在支持对象模型的多级安全系统中实现强制访问控制.但是,这种算法会引入时间隐通道,可能致使机密信息泄露.本文提出并实现了一种可信的控制策略,在消息过滤算法中采用异步消息传递方式消除时间隐通道,并对系统中对象方法的执行进行调度,确保消除时间隐通道不会导致执行结果不正确.

关键词：方法调用 时间隐通道 消息过滤 多级安全 

单位：华中科技大学计算机科学与技术学院; 湖北; 武汉; 430074