所建立的完整性信息流控制机制可通过静态类型检验高效实现。
The proposed integrity information flow mechanism can be efficiently implemented by static type checking.
描述了面向对象系统的数据模型，研究了信息流和信息传输，并以此为基础给出了基于自主访问控制策略的分布式对象系统的信息流控制方法。
To keep independent object-oriented system secure from Trojan horse, there exists already a restrictive policy that blends information flow control with discretionary access control.
为了应对新挑战，Max和同事一起，以分布式信息流控制(Decentralized Information Flow Control, DIFC)模型为基础，开发了开源web应用安全基础设施flume。
To respond to these challenges, Max and his colleagues have developed Flume, an open source web application security infrastructure based on a Decentralized Information Flow Control (DFIC) model.
应用推荐