基于确认式编译技术的移动代码安全性研究

应用确认式编译技术解决移动代码的安全性问题是国际上新近开始研究的方法，其最大特点是把确保满足安全策略的主要任务由代码消费方转移到代码生产方，可以有效解决代码消费方运行时负担过重的问题；此外，它是对代码本身进行验证，而不是对代码产生方的身份进行验证，因而可信度更高并可以支持匿名代码。本文对该研究技术进行了分析，从中可了解到：支持更高级别的安全性是这种技术获得更广泛应用的焦点；并针对这种需求，在该文中穿插介绍了我们的工作设想，以期与同行分享。