Proving noninterference by fully complete translation to the simply typed λ-calculus

Proving noninterference by fully complete translation to the simply typed λ-calculus
复制标题

通过完全转换为简单类型的 λ 演算来证明无干扰

DOI：
--
复制
发表时间：
--
期刊：
Proceedings of the 11th Annual Asian Computing Science Conference (ASIAN' 06) (印刷中)
影响因子：
--
通讯作者：
Atsushi Igarashi
Atsushi Igarashi
中科院分区：
--
文献类型：
--
作者：
Naokata Shikuma;Atsushi Igarashi

文献摘要

相似文献