迪加诺，皮尔保罗;弗朗西丝卡·列维;奇亚拉博迪 安全环境：控制流分析和安全。 （英语） Zbl 0988.68543号 何继峰（编辑）等，《计算科学进展——2000年亚洲》。第六届亚洲计算科学会议，马来西亚槟城，2000年11月25-27日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1961, 199-214 (2000). 摘要：我们提出了安全环境的控制流分析（CFA），这是移动环境演算的一种变体。该分析细化了F.Nielson等人（1999），并计算了进程运行时拓扑的近似值。我们使用分析结果来确定保密属性。关于整个系列，请参见[Zbl 0953.00041号]. 引用于14文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） PDF格式BibTeX公司 XML格式引用 \textit｛P.Degano｝等人，Lect。注释计算。科学。1961199--214（2000；Zbl 0988.68543）