18、信息安全流动策略的实施与安全服务编排探索

信息安全流动策略的实施与安全服务编排探索

在当今数字化时代，信息安全流动以及服务的安全编排是至关重要的研究领域。下面将详细介绍信息安全流动策略的实施方法，以及如何在非披露政策下实现安全服务的编排。

信息安全流动策略的实施

• 类型系统与代码插桩
  • 在类型系统中，有三个规则可能会触发代码插桩，分别是 ASSIGN - CHAN S 规则、 RECEIVE - NAME S 规则和 SEND S 规则。当变量 instr 被赋值为 U 或 H 时，就会发生这些“调用”。
  • 类型推断算法会唯一标识需要插桩的语句，保存相关的类型、变量、表达式和语句信息。插桩步骤会在每个需要插桩的语句之前插入测试。例如，对某个程序进行插桩后，会得到如下代码示例：

1.
receivec h from private;
add 1. Update(TypeOf Var, h, (TypeOf Channel(private) ⊔top(Ctxt)) val);
2.
if public then
add 2. push(L ⊔top(Ctxt), Ctxt)
⟨because public : L val⟩
3.
receiven x from private;
add 3.
Update(TypeOf Var, x, Type