埃利萨维特·科兹里;欧文·雅顿;安德鲁·迈尔斯(Andrew C.Myers)。;弗雷德·施耐德。 JRIF:Java的反应式信息流控制。 (英语) Zbl 07176723号 Guttman,Joshua D.(编辑)等人,《安全、协议和等式推理的基础》。献给凯瑟琳·梅多斯的散文。查姆:施普林格。莱克特。注释计算。科学。11565, 70-88 (2019). 摘要:值\(v\)的反应式信息流(RIF)自动机指定(i)对\(v \)的使用的限制,以及(ii)可能从\(v)派生的任何值的RIF自动机。因此,RIF自动机指定了转换值如何改变结果的限制。作为标签,RIF自动机是描述允许信息流的表达工具和直观工具。JRIF是一种Java方言,它使用RIF自动机指定信息流控制策略。JRIF的实现涉及将Jif语言的信息流类型系统替换为基于RIF的类型系统。JRIF演示了(i)RIF自动机的实用性和实用性,以及(ii)可以轻松修改现有信息流控制系统以支持RIF自然主义的表达能力。关于整个系列,请参见[Zbl 1412.68009号]. 引用于1文件 MSC公司: 68个M12 网络协议 68第25页 数据加密(计算机科学方面) 94A60型 密码学 关键词:信息流控制;重新分类;自动机 软件:JRIF公司;Paragon公司;层压;Jif公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Kozyri}等人,Lect。注释计算。科学。11565,70-88(2019年;兹bl 07176723) 全文: 内政部