奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪 具有安全边界的移动环境的控制流分析。 （英语） Zbl 1048.68025号 Jacobs，Bart（ed.）等人，开放对象分布式系统的形式化方法V.IFIP TC6/WG6.1第五届国际会议，FMOODS 2002，荷兰恩舍德，2002年3月20日至22日。波士顿：Kluwer学术出版社（ISBN 0-7923-7683-8）。IFIP，国际联邦信息流程。81, 197-212 (2002). 摘要：在移动系统场景中考虑了多级安全策略，并在“纯”移动环境演算中建模，其中不存在通信信道，唯一可能的操作由移动进程执行的移动表示。感兴趣的信息流属性是根据机密环境/数据移动到安全边界之外的可能性来定义的。在前一篇文章中，我们给出了一个非常简单的语法属性，它足以暗示不需要的信息流。本文定义了控制流分析，作为Hansen-Jensen-Nielsons的CFA的改进，它允许以更好的精度捕获边界交叉点。关于整个系列，请参见[Zbl 0989.00045号]。 引用于4文件 MSC公司： 68M99型 计算机系统组织 关键词：多级安全策略 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人，IFIP，国际联邦信息处理。81、197--212（2002年；Zbl 1048.68025）