摘要

本文利用香农的信息理论给出了系统中信息流的定量定义,该系统将输入转化为输出。对于确定性系统,当信息源和已知输入共同唯一地确定所有输入时,定义被显示为专门化为更简单的形式。对于这种特殊情况,定义与不干涉的经典安全条件有关,并且在不干涉和随机变量独立性之间建立了等价关系。然后以关系形式给出了确定性系统的定量信息流。通过此演示,我们展示了如何使用关系参数通过二阶lambda演算中定义的函数族导出信息流的上下界。

您当前没有访问此文章的权限。