暗的渠道，使用共享资源作为路径的通信手段。 这就要求共享空间或共用的时间。
隐蔽存储通道的用途，属性的共享资源。 一种变相的时机通道采用了颞或定购关系通道，以共享资源。
一种变相的时机频道通常被定义而言，一个实时时钟或定时器，但时间关系有时利用两者都不是。 一个定购的事件意味着基于时间的关系，这其中涉及既不是实时时钟也不是一个计时器。
第二个物业区分秘密通道，只有发件人和接收器已进入一个秘密通道，其他有机会为好。
1无声隐蔽通道是一种变相的渠道，利用资源提供给寄件人和接收机只。 嘈杂的隐蔽通道是一种变相的渠道，利用资源提供给其他科目均超过寄件人器和接收器，以及给寄件人和接收机。
区别这两类渠道，就在于有必要过滤掉多余的信息。 任何资料的接收器获得从一个无声的渠道来自寄件人。 然而，在嘈杂的渠道，发件人的信息是混在无意义的信息，或噪音，从其他实体使用的资源。 嘈杂的隐蔽通道，需要一项议定书，以减少这种干扰。
关键性能的秘密渠道是存在和带宽。 存在告诉我们，有一个通道沿线，其中的信息可以传送。 带宽告诉我们如何快速的信息可以送到。 隐蔽通道分析，确定了这两个特性。 然后渠道可以消除或其带宽可以减少。
暗频道要求分享。 以何种方式在资源共享的管制对象，可以发送和接收信息的利用这种资源共享。 检测方法开始与这个观察。
porras和凯默勒已制订了一个办法，代表安全的行为，从春天的应用故障树。 这些模型的信息流，通过共享资源，与一棵树。 路径的流量是确定在这个结构。 分析员确定是否每一个流程是正当的或明或暗的。
隐蔽流树是一个树形结构的代表性经营操作的顺序这一举动信息从一个过程到另一个。 它由五个类型的节点。
目标符号说明国家必须存在，为信息自由流通。 有几个这样的国家：
修改目标是达成时，一个属性是修改。
一个认识的不达目的，当修改一项属性是侦破。
直接识别目标，是达成时，可侦测修改一项属性所参照的，它直接或致电功能回报。
一个推断，识别目标，是达成时，可侦测修改一项属性，没有参照的，它直接和无需呼叫功能，提及属性直接。 举例来说，学科可促其功能的表现之一，两个运算取决于价值的属性问题。
一个推断-经不达目的，当信息是通过从一个属性，以其他属性使用指定的原始操作（例如一个系统调用） 。
一承认新国家的目标是达成时，一个属性，这是修改信息时，通过使用它，这是由指定的一个推断-途经的目标。 价值不需要加以确定，但事实上，该属性被修改一定要下大决心。
一项行动的象征，是一个象征，也代表了原始的运作。 操作符号可以不同系统之间的，如果他们有不同的原始行动。
失败的象征，显示出信息，不能发送沿着路径对其中的谎言。 这就是说，目标，因为它需要附上不能得到满足。
一个与象征，是一个目标，即达成时，以下两项内容进行，为所有的孩子们：
如果孩子是一个目标，那么，其目标是达成共识。
孩子动手术。
一个或符号，是一个目标，即达到当以下任何持有任何孩子们：
如果孩子是一个目标，那么，其目标是达成共识。
孩子动手术。
构建树是一个三个步骤的过程。 作出具体的步骤，我们现在只是一套简单的行动，然后要求如果他们能创造一个隐蔽通道。
例如：考虑一个文件系统，其中每一个文件有三个属性。 布尔属性上锁isopen是否属实时，该文件是锁上或打开，分别的，是虚假的，否则。 第三个属性， inuse ，是一套包含过程身份证的每一个过程，有档案公开。 功能read_access性（ p ， f ）的是真的，如果过程p有看过权档案楼和空洞（ s ）即是如此，如果设为s的任何成员。 功能随机返回它的一个论据，以随机抽样方式。 下列业务界定。
（ *锁定文件，如果没有锁定，并没有开放* ） （ *否则表明，它是锁并返回false * ）的程序lockfile （六：档案） ：布尔;首先，如果不f.locked和空洞（ f.inuse ）然后f.locked ： =真实;完; （ *解锁文件* ）的程序unlockfile （六：档案） ;首先，如果f.locked然后f.locked ： =假;完; （ *表示文件是否已经锁定* ）功能filelocked （六：档案） ：布尔;开始filelocked ： = f.locked ;完; （ *打开文件，如果没有锁定和* ） （ *过程中都有权阅读档案* ）的程序openfile （ f ：在档案） ;首先，如果不f.locked和read_access （ process_id ，女） ，然后（ *添加过程身份证向inuse一套* ） f.inuse = f.inuse + process_id ;完; （ *如果这一进程能够阅读文件说，如果* ） （ *档案是开放的，否则会返回一个值随机* ）的功能fileopened （六：档案） ：布尔;首先，如果不read_access （ process_id例，女性） ，然后fileopened ： =随机（真，假） ;否则fileopened ： =没有isempty （ f.inuse ） ;完
假设工序均不得相互沟通，读者请设法找到一个隐蔽存储通道。
第一步是在构建一种变相的流量树，是要确定什么属性（如果有的话）的原始运作参考，修改，并返回。
例如：职能，在此之前的例子，影响到文件属性不同的方式，具体情况如下。
| lockfile | unlockfile | filelocked | openfile | fileopened | |
| 参考 | 被锁上， inuse | 锁定 | 锁定 | 被锁上， inuse | inuse |
| 修改 | 锁定 | ø | ø | inuse | ø |
| 返回 | ø | ø | 锁定 | ø | inuse |
象征ø意味着没有任何属性，是影响必须在指定的方式。
第二步开始的目标定位一个隐蔽存储通道中，利用一些属性。 分析师建构隐蔽流树。 该类型的目标控制施工，具体情况如下。
最上层的目标，都要求把属性加以修饰和改造予以承认。 因此，它有一个孩子（一个与符号） ，这反过来有两个孩子（一改造目标象征和目标识别符号） 。
修改目标，需要一些原始的操作，修改属性。 因此，它有一项或儿童，其中有一名儿童手术象征百分之运作的所有业务，修改属性。
一个认识的目标要求一项课题无论是直接承认或推断改变属性。 它有一个或符号，作为其子女。 这个符号有两个孩子，一个直接的目标识别符号与其他一种推断，识别目标的象征。
直接识别目标，需要动手术获取属性。 像改造目标，它有一项或子女，而且子女反过来又一个孩子的运作象征每次行动回报属性。 如果没有行动，返回属性，是失败的象征，是附后。
一个推断，识别目标，要求修改推断，在此基础上的一个或多个其他属性。 因此，它有一个孩子，或一个符号，其中有一个孩子推断-途经象征每次行动中提及的一个属性，并修改了一些属性（可能是同一个，这是参照） 。
一个推断-途经目标要求的价值属性被推断通过一些手术，并承认新国家的属性所造成的这项行动。 因此，它有一个孩子（一个与符号） ，其中有两个孩子（一个运作的象征原始操作用来提请推理，并承认新国家的目标符号） 。
一承认新国家的目标，需要的价值属性被推断通过一些手术，并承认新国家的属性所造成的这项行动。 后者需要一个认识的目标属性。 所以，儿童结对承认新的国家目标的象征，是一种符号，并为每个属性，使推理的修改属性在质询时，或象征具有识别目标的象征孩子。
树施工结束时，所有的路径是通过树终止任何一项行动的象征，还是失败的象征。 因为建筑是递归，分析师可能遇到的一个循环，在树建设。 要这种情况发生，一个参数所谓重复定义了多少次的路径可能走过。 这个地方是一个上界的大小树木。
共享资源矩阵模型和隐蔽流树，从春天的理念审视共享资源，为改造和参考业务，都可以用在任何一个地点的软件开发生命周期。 的一个好处是隐蔽流树，在固体火箭发动机模型是前者确定了明确的序列行动造成信息流，从一个过程到另一个。 后者则渠道，而不是序列的行动。 在比较涉及文件系统接入业务和安全阿达目标，隐蔽流树法确定序列的相应行动，以隐蔽存储渠道发现，由固体火箭发动机的方法和不干涉方法，以及一个没有发现由其他两名。
暗的渠道传达的信息是由不同使用共享资源。 一个明显的方法，消除一切秘密渠道是规定程序，以国家什么资源，他们需要的，才执行，并提供这些资源，在这种方式只是这一进程可以访问它们。 这包括运行时，当运行时申明是达到了，这一过程是终止和资源释放。 资源分配仍然为充分运行时，即使进程终止。 否则，第二个过程，可以推断，从信息的时机释放该资源（包括获得该组） 。 这一战略的有效实施左侧的想法完全孤立的，但它通常是行不通的，在实践中。
另一种做法是掩盖了大量资源，这一个过程用途。 接收过程中，不能确定多少资源利用率，是由于寄件人和多少可归因于迷惑。 这可以采取两种方式。 第一，所投入的资源，以每一个过程，可以统一制作。 这是一个变孤立的，因为每一个过程得到同样数额的资源和能不能分辨究竟是第二个过程是获取资源所测量的时间或金额的可用资源。 在本质上，该系统消除了有意义的违规行为，在资源分配和使用。 第二，一个系统可以投放到随机性的分配和使用资源。 其目标是使隐蔽通道嘈杂之一，并具有噪音主导渠道。 这并不密切秘密通道（因为它仍然存在） ，而且使得它没用。
这两项技术的影响工作效率。 分配定额拨款和制约着利用废弃物资源。 固定时间片就核查团制度是指中央政策研究组将未使用的（或将执行闲置进程） ，当另一个虚拟机可以执行非空闲进程。 越来越多的概率被中断，在多级安全数据库系统将取消一些交易通常会承诺，增加预期的数目试图更新数据库。 是否关闭了隐蔽通道或限制的带宽足以补偿为失去效率是一个政策性的决定。
装置称为一个水泵，是根据几个技术打败秘密渠道。
Online: 396 users browsing the articles directory
|
|