JFlow: 实用的多静态信息流控制

Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL ‘99)

摘要

保护敏感数据的隐私和完整性的一项有前途的技术是静态检查操作数据的程序内的信息流。本文描述了一种新语言JFlow，它是 Java语言的扩展，添加了静态检查的信息流注释。JFlow的几个新特性：去中心化的标签模型、标签多态性、运行时标签检查和自动标签推理，支持的语言特性包括对象、子类化、动态类型测试、访问控制和异常。本文给出了用于检查JFlow程序正确性的形式规则。

问题：

静态检查
信息流注释

《JFlow: Practical Mostly-Static Information Flow Control》

原文：https://www.cnblogs.com/fanxiaonan/p/13702274.html