×
大卫·克拉克；克里斯·汉金；塞巴斯蒂安·亨特

类Algol语言的信息流。 （英语） Zbl 1027.68021号

计算。语言系统。结构。 第28页，第1期，3-28页（2002年）.
摘要：我们提出了一种语言家族的信息流分析方法。我们从简单的命令式语言开始。我们提出了一个使用流逻辑的信息流分析。本文为这一分析提供了详细的正确性证明。接下来，我们将分析扩展到理想化算法的限制形式，这是简单命令式语言的按调用值的高阶扩展（关键限制是缺少递归）。本文最后讨论了进一步的扩展，包括理想算法的概率扩展。

引用于4文件

MSC公司：

68甲15 编程语言理论

关键词：

程序分析；访问控制；Algol公司；信息流；流程逻辑
PDF格式BibTeX公司 XML格式引用
\textit{D.Clark}等人，《计算》。语言系统。结构。28，第1号，第3--28号（2002；Zbl 1027.68021）
全文： 内政部

参考文献：

[1] Denning D.安全信息流的格子模型。ACM通讯1976：236-43。；Denning D.安全信息流的格子模型。ACM通讯1976：236-43·兹伯利0322.68034
[2] 尼尔森，F。；尼尔森，H.R。；Hankin，C.L.，《程序分析原理》（1999），《施普林格：施普林格柏林》·Zbl 0932.68013号
[3] Danos V，Harmer R.概率游戏语义。第13届IEEE计算机科学逻辑年会论文集。马里兰州银泉：IEEE计算机学会出版社，2000年。；Danos V，Harmer R.概率游戏语义。第13届IEEE计算机科学逻辑年会论文集。马里兰州银泉：IEEE计算机学会出版社，2000年·Zbl 1365.68310号
[4] 雷诺兹JC。Algol的精髓。摘自：de Bakker JW，van Vliet JC（编辑），1981年算法语言国际研讨会论文集。阿姆斯特丹：北荷兰，1981年。第345-72页。；雷诺兹JC。阿尔及利亚的精华。摘自：de Bakker JW，van Vliet JC（编辑），1981年算法语言国际研讨会论文集。阿姆斯特丹：北荷兰，1981年。第345-72页。
[5] 尼尔森F，尼尔森人力资源。流程逻辑和操作语义。理论计算机科学电子笔记1998；10.; 尼尔森F，尼尔森HR。流逻辑和操作语义。理论计算机科学电子笔记1998；10. ·Zbl 0925.68293号
[6] 尼尔森F，尼尔森，HR。命令对象的流逻辑。收录：Brim L，Gruska J，Zlatuska J（编辑）《98年MFCS会议录》，《计算机科学讲义》，第1450卷。柏林：斯普林格出版社，1998年。第220-8页。；尼尔森F，尼尔森，HR。命令对象的流逻辑。收录：Brim L，Gruska J，Zlatuska J（编辑）《98年MFCS会议录》，《计算机科学讲义》，第1450卷。柏林：斯普林格出版社，1998年。第220-8页。
[7] Volpano D，Smith G.用最少的类型消除隐蔽流。摘自：第十届IEEE计算机安全基础研讨会论文集，马萨诸塞州罗克波特。马里兰州银泉：IEEE计算机社会出版社，1997年。第156-68页。；Volpano D，Smith G.用最少的类型消除隐蔽流。摘自：第十届IEEE计算机安全基础研讨会论文集，马萨诸塞州罗克波特。马里兰州银泉：IEEE计算机社会出版社，1997年。第156-68页。
[8] 一种新型的安全信息流系统。摘自：第14届IEEE计算机安全基础研讨会论文集。马里兰州银泉：IEEE计算机学会出版社，2001年。；一种新型的安全信息流系统。摘自：第14届IEEE计算机安全基础研讨会论文集。马里兰州银泉：IEEE计算机学会出版社，2001年。
[9] 本田K，吉田N。用于安全信息流的统一类型结构。输入：POPL'02。纽约：ACM出版社，2002年。；本田K，吉田N。用于安全信息流的统一类型结构。输入：POPL'02。纽约：ACM出版社，2002年·Zbl 1323.68375号
[10] Volpano D，Smith G.《并发语言中的概率非干扰》，载：第11届IEEE计算机安全基础研讨会论文集，马萨诸塞州罗克波特。Silver Spring，医学博士：IEEE计算机学会出版社，1998年，第34-43页。；Volpano D，Smith G.并发语言中的概率不干涉，摘自：第11届IEEE计算机安全基础研讨会论文集，马萨诸塞州罗克波特。马里兰州银泉：IEEE计算机社会出版社，1998年，第34-43页。
[11] Sabelfeld A，Sands D.多线程程序的概率不干涉。摘自：第13届IEEE计算机安全基础研讨会论文集，英国剑桥，马里兰州银泉：IEEE计算机社会出版社，2000年。；Sabelfeld A，Sands D.多线程程序的概率非干扰。摘自：第13届IEEE计算机安全基础研讨会论文集，英国剑桥，马里兰州银泉：IEEE计算机社会出版社，2000年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。