软件截图:
Java的+信息流（日夫的简称）是一个扩展的Java与信息流的控制和访问控制的支持，无论是在编译时和运行时的安全性类型的编程语言。
对于日夫编译器和运行时系统的源代码是现在可供下载。 JIF是用Java编写，并使用多语种扩展Java编译器框架构建。
静态信息流量控制可以保护机密性和通过计算系统的操作信息的完整性。编译器跟踪信息限制其使用，实施安全性端至端系统内的策略之间的对应关系。日夫计划内检查信息流后，日夫编译器把他们的Java程序，使用普通的Java编译器生成安全的可执行程序。
JIF扩展的Java通过增加表达怎样的信息可用于限制标签。例如，下面的变量声明不仅变量x是一个int，而且在X上的信息由安全政策的制约声明：
INT {爱丽丝→鲍勃} X;
在这种情况下，安全策略说，在x中的信息由主爱丽丝控制，爱丽丝允许该信息由主要鲍勃可以看出。该政策{爱丽丝←鲍勃}意味着信息被爱丽丝拥有，爱丽丝允许它受到鲍勃。基于标签标注这样的，在日夫编译器分析程序中的信息流，以确定它们是否执行信息的机密性和完整性。
评论没有发现