机译:MIUR项目部分支持的移动临时网络的贷款和借记的本地管理:“信息公司的仪器,环境和创新应用程序”,SubProject SP1:互联网网络:“效率,集成和安全”;通过CSP项目:SetaS II;通过保护质量(QOP)项目:Create-net。
机译:边界环境中的信息泄漏检测11部分由MIUR项目“ Interstrtazione Astratta,类型系统和分析控制流”和“ Modelliformal per la sicurezza”以及EU Contract IST-2001-32617“移动分布式系统中的安全性的模型和类型”部分支持。