阿娜·阿尔梅达·马托斯;杰拉德·布多尔;伊利亚卡斯特拉尼 键入反应式程序的无干扰。 （英语） Zbl 1119.68056号 J.日志。阿尔盖布。程序。 72，第2期，124-156（2007）. 摘要：我们研究了一类称为反应式程序的同步程序的不干涉安全性。我们考虑一种核心的反应式语言，它是通过扩展Volpano、Smith和Irvine的命令式语言而获得的，它具有一种调度并行的形式，并具有操纵广播信号的反应式原语。不干涉的定义必须调整到反应计算的特殊性质，反应计算受瞬时概念的调节。此外，在反应计算中可能会出现一种新形式的隐蔽通道，称为悬浮泄漏。我们给出了基于互模拟的无干扰公式，这在并发语言中很常见。然后，我们提出了一个类型系统来在我们的语言中强制执行此属性。我们的类型系统是受Boudol和Castellani以及Smith独立介绍的带有调度的并行语言的启发而设计的。我们根据不干涉的新概念建立了类型系统的可靠性。我们最后表明，这种不干涉的概念在几个方面完善了命令式语言的标准概念。 引用于三文件 MSC公司： 68N99型 软件理论 68N17号 逻辑编程 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：反应式程序设计;不干涉;互模拟;类型系统 软件：糖块;ULM公司;酯类 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Matos}等人，J.Log。阿尔盖布。程序。72，第2号，124--156（2007；Zbl 1119.68056） 全文： 内政部 参考文献： [9] Benveniste，A。；卡斯皮，P。；爱德华，S.A。；Halbwachs，N。；勒格尔尼奇博士。；de Simone，R.，《十二年后的同步语言》，Proc。IEEE，嵌入式软件建模与设计特刊，91，1，64-83（2003） [10] Berry，G。；Gonthier，G.，《ESTEREL同步编程语言：设计、语义、实现、科学》。计算。程序。，19, 87-152 (1992) ·Zbl 0772.68013号 [14] 布多尔，G。；Castellani，I.，并发程序和线程系统的非干扰，Theor。计算。科学。，281, 1, 109-130 (2002) ·Zbl 0997.68022号 [17] Boussinot，F。；Susini，J.-F.，《sugarcubes工具箱：一个反应式Java框架》，Software Pract。经验，28，14，1531-1550（1998） [21] Sabelfeld，A。；Myers，A.C.，基于语言的信息流安全，IEEE J.Selected Areas Commun。，21, 1, 5-19 (2003) [26] 沃尔帕诺，D。；Smith，G.，《并发语言中的概率不干涉》，J.Compute。安全，7，2-3，231-253（1999） [27] 沃尔帕诺，D。；史密斯，G。；Irvine，C.，《安全流量分析的声音类型系统》，J.Compute。安全，4，3，167-187（1996） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。