.png){kind=icon}
返回
Noninterference Through Bisimulation
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-031-99751-8_11.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
非干扰属性表明数据不会以不期望的方式流动，例如从高安全环境流向低安全环境。在编程语言中，非干扰通常通过模态类型系统来强制执行。证明该属性往往需要非平凡的技术，如指称语义或逻辑关系。我们展示了一种简单的互模拟技术（由Choudhury、Eades和Weirich提出）可以适应于证明多种模态类型系统的非干扰属性。
Keyword:
lambda calculus
modal type theory
information flow
noninterference
bisimulation
期刊
T
IF:
0
论文数:
20
被引数:
0
.png){kind=icon}
查看更多内容