×

兹马思-数学第一资源

JRIF:Java的反应式信息流控制。(英语) Zbl 07176723
古特曼,约书亚D.(编辑)等,安全基础,协议,和等式推理。献给凯瑟琳·梅多斯的散文。查姆:斯普林格(ISBN 978-3-030-19051-4/pbk;978-3-030-19052-1/电子书)。计算机科学课堂讲稿11565,70-88(2019年)。
摘要:一个值\(v\)的反应式信息流(RIF)自动机指定(i)对\(v\)的使用限制,以及(ii)RIF自动机对于可能从\(v\)派生的任何值。因此,RIF自动机指定了如何转换一个值来改变对结果的限制。作为标签,RIF自动机是描述允许的信息流的表达和直观的工具。JRIF是Java的一种方言,它使用RIF自动机来指定信息流控制策略。JRIF的实现涉及到用基于RIF的类型系统替换Jif语言的信息流类型系统。JRIF展示了(i)RIF自动机的实用性和实用性,以及(ii)可以轻松地修改现有的信息流控制系统以支持RIF自动机的表达能力。
整个系列请参见[Zbl 1412.68009].
理学硕士:
68M12 网络协议
68页25页 数据加密(计算机科学方面)
94A60型 密码学
PDF格式 双歧杆菌 XML 引用
全文: 内政部