本文目录一览:
Java的安全机制有哪些?
》类装载器结构
(class
loader)
》class文件检查器
(the
class
file
verifier)
》内置于Java虚拟机(及语言)的安全特性
》安全管理器及Java
API
(security
manager)
在Java沙箱中,类装载器体系结构是第一道防线。它在三个方面对Java的沙箱起作用:
1它防止恶意代码区干涉善意的代码
2它守护了被信任的代码的边界
3它将代码归于某类(称为保护域),该类确定了代码可以进行哪种操作
Class文件检查器:
Class文件检查器保证装载的class文件内容有正确的内部结构,并且这些class文件互相间协调一致。Class文件检查器实现的安全目标之一就是程序的健壮性。如果某个有漏洞的编译器,或某个聪明的黑客,产生了一个class文件,而这个class文件中包含了一个方法,则合格方法的字节码中含有一条跳转到方法之外的指令,那么,一旦这个方法被调用,它将导致虚拟机的崩溃,所以,处于对健壮性的考虑,由虚拟机检验它装载的字节码的完整性非常重要。
Class文件检查器要进行四趟独立的扫描来完成它的操作。
第一趟:Class文件的结构检查
在这一趟扫描中,对每一段将被当做类型导入的字节序列,Class文件检查器都会确认它是否符合JavaClass文件的节本结构。在这一趟检查中检查器会进行很多检查例如:每个Class文件都必须以四个同样的字节开始:0xCAFEBABE。因为这个魔数Class文件分析器会很容易判断出某个文件具有明显问题而加以拒绝。检查器还必须确认在Class文件中声明的版本号和次版本号,这个版本号必须在这个虚拟机实现可以支持的范围之内。而且第一趟扫描还必须确认这个Class文件有没有被删减。总之第一趟扫描的目的就是保证这个字节序列正确的定义了一个新类型。
第二趟:类型数据的语义检查
第二趟扫描,检查器要查看每个组成部分,确认它们是否是其所属类型的实例,他们的结构是否正确。另外还要检查这个类本身是否符合特定的条件,它们是由Java编程语言规定的。例如,检查器强制规定除Object类以外的类必须有一个超类,或者检查final类有没有被子化等。
第三趟:字节码验证
这一趟是要确保采用任何路径在字节码流中都得到一个确定的操作码,确保操作数栈总是包含正确的数值以及正确的类型。
第四趟:符号引用的验证
在动态链接的过程中,如果包含在一个Class文件中的符号引用被解析时,Class文件检查器要进行第四趟检查。第四趟扫描仅仅是动态链接过程的一部分。当一个Class文件被装载时,它包含了对其他类的符号引用以及它们的字段和方法。一个符号引用是一个字符串,它给出了名字,并且可能还包含了其他关于这个被引用项的信息------这些信息必须足以唯一的识别一个类、方法、字段。这样对于其他类的符号引用必须给出这个类的全名;对于其他类的字段的符号引用必须给出类名、字段名以及字段描述符;对于其他类中的方法的引用必须给出类名、方法名以及方法的描述符。
所谓的动态链接是一个将符号引用解析为直接引用的过程。
此外,由于Java程序是动态链接的,所以Class文件检查器在进行第四次扫描中,必须检查相互引用类之间的兼容性。
除此之外,Java虚拟机还有一些内置的安全特性:
》类型安全的引用转换
》结构化的内存访问
》自动垃圾收集(不必显式地释放被分配的内存)
》空引用检查
通过保证一个Java程序只能使用类型安全的、结构化的方法去访问内存,Java虚拟机使得Java程序更为健壮。
求问JAVA软件的数字证书签名问题!
破解数字签名基本上是不可能的,签名的机制类似于SSL认证的签名机制,也就是说,想要签名,必须拥有经过认证的数字证书。
Java的概念和定义是什么?
基础概念
1. 关键字和保留字
关键字:就是java语言中已经事先定义好具有特殊含义的名字。
保留字:目前java语言中还没有使用(暂时没有特殊含义),但是java后期可能会使用
2.标识符
标识符的作用?
用于给变量、常量、类、包和方法取名的规则。
标识符的规则:
由数字、字母、下划线和$组成,但是开始不能为数字。
标识符不能是关键字或保留字。
标识符对长度没有任何限制。
补充:因为java采用的是unicode编码,所以标识符还可以是中文,但是不建议使用。
命名规范
类名:大驼峰。每个单词首字母都是大写。例如:VariableDemo
变量名、方法名:小驼峰。首单词字母小写,其余单词字母大写。例如:userName
常量名:全部单词大写,多个单词以下划线连接。例如:MAX_VALUE
包名:单词全部小写。
3.变量
变量的本质:变量在内存中开辟一块内存空间(容器),用来存储数据的容器。
变量声明的本质:在内存中开辟一块指定大小的内存空间,用于准备存储指定类型的数据。(数据类型 变量名;)
变量赋值的本质:通过变量名找到内存中的存储空间,然后把等号右边的数据存入该内存中间中。(变量名 = 数据;)
"=",赋值运算符,把等号右边的数据赋值给等号左边的变量
赋值的数据类型必须和声明变量的数据类型保持一致。
总结:
赋值的数据类型必须和声明变量的数据类型保持一致。
只声明未赋值的局部变量不能直接使用,因为没有初始值。
在同一个作用域中,不能声明相同名的变量。
变量名的命名必须遵守“标识符”规则,并且还需遵守“小驼峰”命名规范
没有声明的变量不能直接使用,因为该“变量”什么都不是。
4.常量
常量和变量的对比
常量:只能赋值一次。
变量:可以重复多次执行赋值操作。
固定值常量
整数常量:10, 20, ....
小数常量:123.45, 3.1415926, ...
字符常量:'a', '1', '我', ... (使用单引号包裹的一个字符,我们称之为字符常量)
布尔常量:true和false
字符串常量:"hello world", "", "sxt", ... ( 使用双引号包裹的内容,都属于字符串常量)
引用数据类型常量:null
使用final关键字修饰的常量
常量声明语法:final 数据类型 常量名;
常量名的命名规范:单词全部大写,多个单词以下划线连接。
常量名的命名规则:必须遵守“标识符”的命名规则。
5.常见的转义字符
\t, 制表符,类似于按下tab键
\n, 换行符,类似于按下enter键
\", 展示的时候,只显示输出"
\', 展示的时候,只显示输出'
\\, 展示的时候,只显示输出\