米歇尔·布格列西;西尔维亚·克拉法;阿梅拉·普雷里奇;弗拉迪米罗·萨松 在不受信任的网络中保密。 (英语) Zbl 1039.68516号 Baeten,Jos C.M.(编辑)等人,《自动化,语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40493-7/pbk)。莱克特。注释计算。科学。2719, 969-983 (2003). 摘要:我们调查迁移代理对其所穿越的不可信站点的保护。由此产生的演算提供了一个正式的框架来推理分布式移动基础设施上的保护策略和安全协议,并旨在支持spi演算所代表的环境。我们提出了一种类型系统,它可以分离受信任和不受信任的数据和代码,同时允许与不受信任的站点进行安全交互。我们证明了类型系统强制执行了一个隐私属性,并通过示例和spi演算的编码展示了演算的表达能力。关于整个系列,请参见[Zbl 1029.00041号]. 引用于1文件 MSC公司: 64岁以下 分布式系统 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 68页30 编码和信息理论(压缩、压缩、通信模型、编码方案等)(计算机科学方面) PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,Lect。注释计算。科学。2719969-983(2003年;Zbl 1039.68516) 全文: 链接