技术摘要：如何编写安全的Java代码

　　有时需要在全局防止包被不可信任代码访问，本节描述了一些防护技术：

　　• 防止包注入：如果不可信任代码想要访问类的包保护成员，可以尝试在被攻击的包内定义自己的新类用以获取这些成员的访问权。防止这类攻击的方式有两种：

　　1. 通过向java.security.properties文件中加入如下文字防止包内被注入恶意类。

　　...

　　package.definition=Package#1 [,Package#2,...,Package#n]

　　...

　　这会导致当试图在包内定义新类时类装载器的defineClass方法会抛出异常，除非赋予代码一下权限：

　　...

　　RuntimePermission("defineClassInPackage."+package)

　　...

　　2. 另一种方式是通过将包内的类加入到封装的Jar文件里。

　　(参看http://java.sun.com/j2se/sdk/1.2/do...ons/spec.html)

　　通过使用这种技巧，代码无法获得扩展包的权限，因此也无须修改java.security.properties文件。

　　• 防止包访问：通过限制包访问并仅赋予特定代码访问权限防止不可信任代码对包成员的访问。通过向java.security.properties文件中加入如下文字可以达到这一目的：

　　...

　　package.access=Package#1 [,Package#2,...,Package#n]

　　...

　　这会导致当试图在包内定义新类时类装载器的defineClass方法会抛出异常，除非赋予代码一下权限：

　　...

　　RuntimePermission("defineClassInPackage."+package)

　　...

　　如果可能使对象不可改变

　　如果可能，使对象不可改变。如果不可能，使得它们可以被克隆并返回一个副本。如果返回的对象是数组、向量或哈希表等，牢记这些对象不能被改变，调用者修改这些对象的内容可能导致安全漏洞。此外，因为不用上锁，不可改变性能够提高并发性。参考Clear sensitive information了解该惯例的例外情况。

　　不要返回指向包含敏感数据的内部数组的引用

　　该惯例仅仅是不可变惯例的变型，在这儿提出是因为常常在这里犯错。即使数组中包含不可变的对象(如字符串)，也要返回一个副本这样调用者不能修改数组中的字符串。不要传回一个数组，而是数组的拷贝。

　　不要直接在用户提供的数组里存储

　　该惯例仅仅是不可变惯例的另一个变型。使用对象数组的构造器和方法，比如说PubicKey数组，应当在将数组存储到内部之前克隆数组，而不是直接将数组引用赋给同样类型的内部变量。缺少这个警惕，用户对外部数组做得任何变动(在使用讨论中的构造器创建对象后)可能意外地更改对象的内部状态，即使该对象可能是无法改变的。