第1楼 2006-12-09 13:47 yanmingming1986719 写道:

4关于JAVA英译汉

however,verification introduces a time of check,time of use (TOCTOU)condition,because the code is checked well before it is used.THE fact that the verification process is very memory intensive may cause a vulnerability .in small systems ,it is not necessarily possible to run the verifier on_device but the verification must be done off_device .so,there is a significant cap,in space and time,between checking and using the code

第2楼 2013-08-31 12:44 Robot :

4关于JAVA英译汉 相关

第3楼 2006-12-09 13:51 ←ＡdＩoＳ→ 写道:

不过,介绍了核查的时间检查,使用时间(toctou)条件,因为它之前检查代码蒸煮事实验证过程很可能导致记忆密集脆弱. 小系统,但未必能办核实on_device但必须做off_device核查. 所以,这是很重要的上限,在空间和时间之间,以及使用代码检查

第4楼 2006-12-11 00:50 pig.lulu 写道:

但是, 证明介绍检查, 用途的时期的时期(TOCTOU)condition, 因为代码被检查得很好在它是有用的.这个事实之前证明过程是非常记忆密集也许导致小型系统,它不一定是可能跑检验器打开的设备的弱点 但证明必须是完成关上的设备,所以有一个重大盖帽, 在空间和时间, 在检查和使用代码之间