马丁·阿巴迪;塞德里克·Fornet 移动价值观、新名称和安全通信。 (英语) Zbl 1323.68398号 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2001年1月17日至19日,英国伦敦,POPL'01。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-336-7)。104-115 (2001). 引用于112文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68问题55 计算理论中的语义学 94A60型 密码学 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{C.Fournet},in:第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,POPL'01,英国伦敦,2001年1月17-19日。纽约州纽约市:计算机协会(ACM)。104-115(2001年;Zbl 1323.68398) 全文: 内政部