Java程序的安全性体现在多个层次上，在________________有语法检查；在解释层，有字节码校验器、测试

代码段格式和规则检查，访问权限和类型转换合法性检查，操作数堆栈的上溢或下溢，代码参数类型合法性等；在平台上，通过配置策略，可设定访问资源域，而无需区分本地或远程。