摘要
Amadio，R.和Prasad，S.，1994年。 位置和故障。 在FST和TCS中。 计算机科学讲义，第880卷。 施普林格-弗拉格，德国柏林，206-216。]] 谷歌学者 
数字图书馆 
Bell，D.和Padula，L.，1976年。 安全的计算机系统：统一的解释和多重解释，。 技术代表MTR-2997，MITRE Corporation，Bedford，MA。]] 谷歌学者 Boudol，G.1992年。 异步和&pi- 微积分。 研究报告1702。 印度。 可在线访问 http://www.inria.fr/rrrt/rr-1702.html。 也可从 http://www-sop.iria.fr/mimosa/personel/Gerard.Boudol.html。 ]] 谷歌学者 Bryce，C.和Vitek，J.，2001年。 JavaSeal移动代理内核。 自动。 Agent多Agent系统。 4, 4, 359--384.]] 谷歌学者 数字图书馆 Bugliesi，M.和Castagna，G.2001。 确保安全环境。 在POPL'01会议记录中。 ACM出版社，纽约州纽约市，222--235。]] 谷歌学者 数字图书馆 Bugliesi，M.、Castagna，G.和Crafa，S.2001a。 框式环境。 在TACS’01中。 计算机科学讲义，第2215卷。 施普林格-弗拉格，德国柏林，38-63。]] 谷歌学者 数字图书馆 Bugliesi，M.、Castagna，G.和Crafa，S.2001b。 关于移动环境中的安全性的推理。 01年CONCUR。 计算机科学讲义，第2154卷。 施普林格-弗拉格，德国柏林，102-120。]] 谷歌学者 数字图书馆 Bugliesi，M.、Crafa，S.、Merro，M.和Sassone，V.2002。 移动盒子环境中的通信干扰。 在FSTTCS’02：软件技术和理论计算机科学基础国际会议上。 计算机科学讲义，第2556卷。 施普林格-弗拉格，德国柏林，71-84。]] 谷歌学者 数字图书馆 Bugliesi，M.、Crafa，S.、Prelic，A.和Sassone，V.2003。 在不受信任的网络中保密。 在ICALP’03，自动化语言和编程国际研讨会上。 计算机科学讲义，第2719卷。 施普林格出版社，德国柏林，969-983。]] 谷歌学者 Cardelli，L.1999年。 移动计算抽象。 计算机科学讲义，第1603卷。 施普林格-弗拉格，德国柏林，51-94。]] 谷歌学者 数字图书馆 Cardelli，L.、Ghelli，G.和Gordon，A.，1999年。 移动环境的移动类型。 ICALP’99会议记录。 计算机科学讲义，第1644卷。 施普林格-弗拉格，德国柏林，230-239。]] 谷歌学者 数字图书馆 Cardelli，L.、Ghelli，G.和Gordon，A.D.，2000年。 周围人群和流动类型。 在IFIP TCS国际会议上。 计算机科学讲义，第1872卷。 施普林格-弗拉格，德国柏林，333--347。]] 谷歌学者 数字图书馆 Cardelli，L.和Gordon，A.1998年。 移动环境。 《F0SSaCS’98会议录》。 计算机科学讲义，第1378卷。 德国柏林施普林格-弗拉格，140-155。]] 谷歌学者 数字图书馆 Cardelli，L.和Gordon，A.1999a。 移动环境的等式特性。 1999年FoSSaCS会议记录。 计算机科学讲义，第1578卷。 施普林格-弗拉格，德国柏林，212-226。]] 谷歌学者 数字图书馆 Cardelli，L.和Gordon，A.1999b。 移动环境的类型。 《99年POPL会议记录》。 ACM出版社，纽约州纽约市，79-92。]] 谷歌学者 数字图书馆 Castagna，G.、Ghelli，G.和Zappa Nardelli，F.，2001年。 海豹微积分中的打字移动性。 01年CONCUR。 计算机科学讲义，第2154卷。 施普林格-弗拉格，德国柏林，82-101。]] 谷歌学者 数字图书馆 Crafa，S.、Bugliesi，M.和Castagna，G.，2002年。 装箱环境的信息流安全。 在F-WAN：广域网基础国际研讨会。 电子。 注释组件。 科学。 66, 3.]] 谷歌学者 De Nicola，R.、Ferrari，G.和Pugliese，R.，1998年。 KLAIM：用于Agent交互和移动性的核心语言。 IEEE传输。 柔和。 工程24、5、315--330。]] 谷歌学者 数字图书馆 De Nicola，R.、Ferrari，G.和Pugliese，R.2000a。 编程访问控制：KLAIM体验。 在CONCUR'00会议记录中。 计算机科学讲义，第1877卷。 施普林格-弗拉格，德国柏林，48-65。]] 谷歌学者 数字图书馆 De Nicola，R.、Ferrari，G.、Pugliese，R.和Venneri，B.2000b。 访问控制的类型。 西奥。 计算。 科学。 240，1215-254。]] 谷歌学者 数字图书馆 Degano，P.、Levi，F.和Bodei，C.，2000年。 安全环境：控制流程分析和安全。 亚洲'00年会议记录。 《计算机科学讲义》，第1961卷。 施普林格·弗拉格，德国柏林，199-214。]] 谷歌学者 数字图书馆 国防部。 1985年，国防部信任的计算机系统评估标准（橙色手册）。 DOD 5200.28-STD，华盛顿特区国防部。]] 谷歌学者 Dezani-Ciancaglini，M.和Salvo，I.，2000年。 安全移动环境的安全类型。 亚洲'00年会议记录。 《计算机科学讲义》，第1961卷。 施普林格-弗拉格，德国柏林，215--236。]] 谷歌学者 数字图书馆 Focardi，R.和Gorrieri，R.1997年。 不干涉：过去、现在和未来。 DARPA安全移动代码基础研讨会论文集。 26--28.]] 谷歌学者 Fournet，C.、Gonthier，G.、Lévy，J.-J.、Maranget，L.和Rémy，D.，1996年。 移动代理的微积分。 第七届并行理论国际会议（CONCUR’96）。 计算机科学讲义，第1119卷。 德国柏林施普林格-弗拉格，406-421。]] 谷歌学者 数字图书馆 Fournet，C.、Levy，J.-J.和A，S.2000。 移动环境的异步分布式实现。 在IFIP TCS国际会议上。 计算机科学讲义，第1872卷。 德国柏林施普林格-弗拉格。]] 谷歌学者 数字图书馆 Goguen，J.和Meseguer，J.1982年。 安全策略和安全模型。 安全与隐私专题讨论会论文集。 IEEE计算机学会，11-20。]] 谷歌学者 Gollmann，D.1999年。 计算机安全。 英国奇切斯特John Wiley&Sons有限公司]] 谷歌学者 数字图书馆 Hennessy，M.和Riely，J.2002a。 异步&pi；中的信息流与资源访问- 微积分。 ACM事务处理。 程序。 语言系统。 第24页，第566页至第591页。]] 谷歌学者 数字图书馆 Hennessy，M.和Riely，J.2002b。 移动代理系统中的资源访问控制。 通知。 计算。 173, 82--120.]] 谷歌学者 数字图书馆 Levi，F.和Sangiorgi，D.2000年。 控制环境中的干扰。 在POPL'00会议记录中。 ACM出版社，纽约州纽约市，352--364。]] 谷歌学者 数字图书馆 Merro，M.和Hennessy，M.，2002年。 安全环境中的相互模拟合流。 在POPL'02会议记录中。 ACM出版社，纽约州纽约市，71-80。]] 谷歌学者 数字图书馆 Merro，M.和Sassone，V.2002。 装箱环境中的打字和子打字移动性。 2002年Concur会议记录。 《计算机科学讲义》，第2421卷。 施普林格-弗拉格，德国柏林，304--320。]] 谷歌学者 数字图书馆 Nestmann，U.2000年。 保护选择的“好”编码是什么？ 通知。 计算。 156, 287--319.]] 谷歌学者 数字图书馆 尼尔森，F.、尼尔森，H.R.、汉森，R.R.和詹森，J.G.，1999年。 验证移动环境中的防火墙。 程序中。 99年开始。 计算机科学讲义，第1664卷。 施普林格-弗拉格，德国柏林，463-477。]] 谷歌学者 数字图书馆 尼尔森，H.R.和尼尔森，F.2000。 移动环境的形状分析。 在POPL'00会议记录中。 ACM出版社，纽约，NY，142-154。]] 谷歌学者 数字图书馆 Riely，J.和Hennessy，M.1998年。 分布式移动进程的类型化语言。 《98年POPL会议记录》。 ACM出版社，纽约州纽约市，378--390。]] 谷歌学者 数字图书馆 Riely，J.和Hennessy，M.，1999年。 移动代理开放系统中的信任和部分键入。 《99年POPL会议记录》。 ACM出版社，纽约州纽约市，93-104。]] 谷歌学者 数字图书馆 Sangiorgi，D.和A.，V.2001年。 安全环境的分布式抽象数学。 ICALP’01会议记录。 计算机科学讲义，第2076卷。 德国柏林施普林格-弗拉格，408--420。]] 谷歌学者 数字图书馆 Sewell，P.和Vitek，J.，2000年。 不可信代码的安全组合：包装和因果关系类型。 第13届IEEE计算机安全基础研讨会论文集。 发表于J.Compute。 第11、2、135和187节 谷歌学者 数字图书馆 Vitek，J.和Castagna，G.1999年。 密封：用于安全移动计算的框架。 在互联网编程语言。 计算机科学讲义，第1686卷。 施普林格-弗拉格，德国柏林，47-77。]] 谷歌学者 数字图书馆 齐默，P.2000。 移动环境的子类型和键入算法。 1999年FoSSaCS的收益。 计算机科学讲义，第1784卷。 施普林格-弗拉格，德国柏林，375--390。]] 谷歌学者 数字图书馆
索引术语
移动代理的访问控制：装箱环境的演算
