We argue that audit subsystems designed to satisfy the TCSEC requirements and Suggestions are unable to detect many instances of covertstoragechannel use.
我们认为TCSEC要求和推荐的审计方法不能发现存储隐通道的许多运用实例。
2
This paper analyzes a formal method of analyzing storagecovertchannel identification based on information flow analysis, discussing the key points in details.