给定一个强制安全策略模型M和它在一个操作系统中的解释I(M),I(M)中两个主体I(Si)和I(Sj)之间的任何潜在通信都是隐蔽的,当且仅当模型M中的相应主体Si和Sj之间的任何通信在M中都是非法的(系统中不受
安全策略控制的,违反安全策略的信息泄露路径)。
隐蔽通道主要有两种类型:存储通道和定时通道.如果一个进程直接或间接地写一个
存储单元,另一个进程直接或间接地读该存储单元,则称这种通道为隐蔽存储通道.如果一个进程通过调节它对
系统资源的使用,影响另外一个进程观察到的真实响应时间,实现一个进程向另一个进程传递信息,则称这种通道为隐蔽定时通道.
例如,磁盘移臂
隐通道可以看作是存储隐通道,因为发送进程修改磁臂的方向,接收程序能够观察到其修改的结果。
以上这些例中都可以看作是一个
状态变量,发送进程对其进行写,接收进程对其读以观察到前者写的结果。
又例如,例2中关于CPU使用的
隐通道可以看作是一个时间隐通道。因为发送进程H对CPU的使用情况可以被L观察到,并且可以利用
时钟每隔一定的
时间片进行测量。