×
塞德里克·Fornet;塔玛拉·雷兹克

类型化信息流安全的加密完善实现。 （英语） Zbl 1295.94065号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机械协会（ACM）（ISBN 978-1-59593-689-9）。323-335 (2008).

引用于4文件

MSC公司：

94A60型 密码学
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68N20型 编译与解释理论
68问题55 计算理论中的语义学
94A62型 身份验证、数字签名和秘密共享

关键词：

编译器;计算模型;保密;密码学;完整性;不干涉;概率程序;安全信息流;类型系统
PDF格式BibTeX公司 XML格式引用
\textit{C.Fournet}和\textit{T.Rezk}，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。323--335（2008年；Zbl 1295.94065）
全文： 内政部