Java程序的安全性体现在多个层次上，在 【13】 有语法检查；在 【14】 有字节码校验器、测试代码段格式和规则检查，访问权限和类型转换合法性检查，操作数堆栈的上溢或下溢，代码参数类型合法性等；在平台上，通过配置策略，可设定访问资源域，而无需区分本地域远程。