×
罗恩·范德梅登;张晨毅

具有调度程序的系统中的信息流。二： 精细化。 （英语） 兹比尔1292.68037

西奥。计算。科学。 484, 70-92 (2013).
摘要：细化是系统模型上的一种关系：具体模型是对行为较少的更抽象模型的细化。当抽象模型的属性保证保留在具体模型中时，细化支持自顶向下的开发过程。本文考虑在具有调度器的同步系统中，当这些调度器被优化时，一系列信息流安全属性的保持。精化概念是为调度器的抽象概念以及它们作为自动机的具体表示定义的。然后对通过优化调度程序而保留的安全属性进行特征化。结果被应用于描述一些与调度器无关的安全属性，这些属性表示系统相对于所有调度器是安全的。
第一部分见[作者，同上，467，68–88（2013；Zbl 1259.68023号)].

MSC公司：

68平方米 计算机系统环境下的性能评估、排队和调度
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

信息流安全;带调度器的同步系统

引文：

Zbl 1259.68023号

软件：

第二代外国存托凭证
PDF格式BibTeX公司 XML格式引用
\textit｛R.van der Meyden｝和\textit｛C.Zhang｝，Theor。计算。科学。484、70-92（2013年；Zbl 1292.68037）
全文： 内政部

参考文献：

[7] 威廉·德·罗弗（Willem P.de Roever）。；Engelhardt，Kai，（数据精炼：面向模型的证明理论及其比较。数据精炼：基于模型的验证理论及其比较，剑桥理论计算机科学丛书，第46卷（1998），剑桥大学出版社）·Zbl 0955.68076号
[8] 福卡迪、里卡多；Gorrieri，Roberto，过程代数安全属性的分类，计算机安全杂志，5-33（1995）·Zbl 1007.68508号
[9] 费金，R。；哈尔彭，J.Y。；摩西，Y。；Vardi，M.Y.，《知识推理》（1995），麻省理工出版社·Zbl 0839.68095号
[11] Focardi，R。；Rossi，S.，动态环境下的信息流安全，《计算机安全杂志》，65-110（2006）
[15] 保罗·H·B·加德纳。；Carroll C.Morgan。，数据细化的单一完整规则，计算的形式方面，5，4，367-382（1993）·Zbl 0774.68081号
[17] 霍尔，C.A.R。；何继峰；杰夫·桑德斯。，数据精炼中的预规范，《信息处理快报》，25，2，71-76（1987）·Zbl 0624.68027号
[25] Daryl McCullough，《多级安全的连接定理》，IEEE软件工程学报，16，6，563-568（1990）
[28] Park，D.M.R.，无限序列上的并发与自动机，（《理论计算机科学学报》，《理论计算机学学报》，LNCS，第104卷（1981），Springer），167-183·兹比尔0457.68049
[30] Roscoe，A.W.，《CSP的理论与实践》（1997），普伦蒂斯·霍尔：普伦蒂丝·霍尔·皮尔逊
[31] 桑顿，T。；海塞尔，M。；Pfitzmann，A.，《保密改进有时是合成的》（Proc.the 7th European Symposium on Research in Computer Security，ESORICS’02（2002），Springer-Verlag:Springer-Verlag London，UK），194-211
[33] 范德梅登，罗恩；Zhang，Chenyi，无干扰特性的算法验证，（ENTCS，第168卷（2007），Elsevier），61-75
[34] 范德梅登，R。；Zhang，C.，《带调度器的系统中的信息流（第一部分：定义）》，《理论计算机科学》，46768-88（2013）·Zbl 1259.68023号
[35] 范·格拉贝克（Rob J.van Glabbeek）。；Goltz，Ursula，并发系统的作用和等价概念的精化，信息学报，37，4/5，229-327（2001）·Zbl 0969.68081号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。