Multilevel Transitive and Intransitive Non-interference, Causally

Paolo Baldan; Alessandro Beggiato

doi:10.1007/978-3-319-39519-7_1

通信Dans Un Congrès Anneée:2016年

多水平传递和非传递非干涉，因果

(1),(2)

1
2

保罗·巴尔丹

功能：奥特尔
人员ID:894476

帕多瓦大学

亚历山德罗·贝吉亚托

功能：奥特尔
人员ID:1022470

卢卡高级研究学校

Résumé

我们以Petri网为参考模型，基于因果关系，提出了多级安全域的无干扰理论。我们首先关注传递性不干涉，其中表示允许流的关系是传递的。然后，我们将该方法扩展到不及物不干涉，其中不考虑及物性假设，从而得到一个适合于建模受控信息披露的框架。基于Petri网展开语义的高效验证算法源于该理论。

与葡萄园

信息[cs] Réseaux etélél通信[cs.NI]

菲奇尔校长

416253_1_En_1_Chapter.pdf（350.11 Ko）

起源：作家的作品

哈尔Ifip : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-01631722

Soumis le:jeudi 2017-16:14:05年11月9日

Dernière修改日期：vendredi 2022-19:07:32年11月25日

长期档案：samedi 10 février 2018-13:35:34

日期和版本

hal-01631722，版本1 (09-11-2017)

许可证

父爱

身份证明人

HAL Id： hal-01631722，版本1
DOI（操作界面）： 10.1007/978-3-319-39519-7_1

Citer公司

保罗·巴尔丹（Paolo Baldan）、亚历山德罗·贝吉亚托（Alessandro Beggiato）。多层传递和非传递非干涉，因果。第十八届国际协调语言和模式会议（Coordination）2016年6月，希腊赫拉克利翁。第1-17页，⟨10.1007/978-3-319-39519-7_1⟩.⟨hal-01631722⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

IFIP-LNCS公司国际投资促进会 IFIP-TC公司 IFIP-WG公司 IFIP-TC6 IFIP-WG6-1 IFIP-协调 IFIP-LNCS-9686

88 磋商

123 Télé费用