Java杂谈6——Java安全模型

　　Java语言安全模型是其有别于传统的编程语言的一个很重要的特点，采用一种沙箱模型隔离了Java的运行环境与具体的操作系统，使得Java在网络环境下能够更为安全的运行。理解Java的安全模型，能够帮助我们站在更高的层面理解Java的底层实现，在适当的时机及时找出问题所在。

沙箱模型的建立主要涉及了Java语言相关的以下几个部分：

• 类加载器；

　　　　运行时包：指由同一个类加载器装载的、属于同一个包的、多类型的集合。任意两个Java类包访问权限适用的前提是：属于同一个包，还必须是属于同一个运行时包。这样规定的动机之一就是防止一个由用户自定义类加载器装载的Java类非法获取到Java核心API的包访问权限。

         例如：通过动态类加载一个名为Java.lang.Virus的Java类能够被装载到内存，由于这个类是属于包Java.lang。如果不加以限制，这个外部的类就会拥有包内其他类的包访问权限。

         双亲托管模型：保证基本Java类库不会被恶意代码任意覆盖，具体的内容可以参考我之前的文章。

•  类文件校验器；

　　类文件的校验一般有四个步骤：

1. Class文件的结构验证；
2. 类型数据的语义检查（包括具体的操作码，操作数）；
3. 字节码的验证（例如程序的可停机性，操作码的合法性）；
4. 符号引用的验证（过程中还包括了装载引用外部类，符号替换，链接过程的二进制兼容性判断）。

• 内置的安全特性；

　　包括了如下几个方面：

1. 类型安全的引用转换；
2. 结构化内存访问（屏蔽指针操作）；
3. 自动垃圾回收；
4. 数组边界检测；
5. 空引用检查。

• 安全管理器与Java API。

　　检测Java虚拟机堆外部资源访问的合法性，即界定沙盒的边界。不会被默认设置，如果需要检测在编码中需要自行编写。参见Java.lang.SecurityManager下的一系列以“check”开头的方法。