×

兹马思-数学第一资源

一种鲁棒解密的类型系统。(英语) 兹布1337.68078
Brookes,Steven(编辑),《第19届编程语义学数学基础会议论文集》(MFPS XIX),加拿大蒙特利尔,2003年3月19-22日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记83,263-277,电子版(2003)。
摘要:基于语言的信息安全方法导致了安全类型系统的发展,允许程序员描述数据的机密性策略。安全类型的系统通常用于强制执行不干涉,这种属性要求高安全性信息不影响低安全性计算。然而,在某些实践中,不干涉政策往往允许信息泄露。
为了弥补不干涉的严格性,实际的方法包括一些解密高安全信息的机制。但这种解密是潜在的危险,应该限制其使用,以防止意外的信息泄露。Zdancewic和Myers之前引入了鲁棒解密的概念,试图捕捉对解密的期望限制,但这项工作并没有提出一种确定程序何时满足鲁棒解密条件的方法。
本文激励了稳健的解密,并证明了对安全类型系统的简单更改就可以加强这种解密。其思想是扩展安全标签的格,包括完整性约束和机密性约束,然后要求执行解密的决策具有高完整性。
整个系列请参见[Zbl 1325.68013].

理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68页25页 数据加密(计算机科学方面)
PDF格式 BibTeX公司 XML 引用
全文: 内政部