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

【Abstract】 Message filter algorithms can implement mandatory access control in the multilevel secure systems with an object oriented model. But such algorithms introduce the covert timing channels, and may cause the leakage of top secret information. This paper presents and implements a trusted control strategy in which the asynchronous message passing mechanism in message filter algorithms eliminates the covert timing channel, and schedules the execution of object oriented methods,and thus ensures the correct results of computations.更多还原