<form id="fjn3d"></form>

<address id="fjn3d"></address>

            11.3.?檢測信息泄露通道

            只有推理規則不一定存在信息泄露通道,例如id1->id3,如果id3沒有標記,或者id1的標記大于等于id3標記那么不存在信息泄露通道。

            信息泄露通道存在的兩個條件:推理關系存在,推理左邊所有列的標記最大值小于推理右邊任意一列的標記值(如果左右兩邊存在不同策略的,視為左邊值小于右邊值)。

            1. 登錄uxop刪除上述表test_infer的列標記:

              select mac_drop_column_label('public','test_infer','id3');
            2. 檢測信息泄露通道:

              select mac_detect_suspicion('public','test_infer');

              檢測結果沒有信息泄露通道。

            3. 重新對表添加列標記,查看信息泄露通道:

              select mac_set_column_label('public','test_infer','id3','pl2','secret:manager,developer');
              select mac_detect_suspicion('public','test_infer');

              可以檢測到信息泄露通道。

            91竞彩之家