一种消除时间隐通道的方法调用控制策略  

A Method Invocation Control Strategy for Eliminating Covert Timing Channels

作　　者：吴永英[1] 张荣[1] 朱虹[1] 李专[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,湖北武汉430074

出　　处：《计算机工程与科学》2005年第6期24-26,共3页Computer Engineering & Science

基　　金：湖北省科技攻关计划资助项目(2002AA103A06)

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

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]