×

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号].

MSC公司:

68个M12 网络协议
68第25页 数据加密(计算机科学方面)
94A60型 密码学
PDF格式BibTeX公司 XML格式引用
全文: 内政部