基于提示的移动代码安全检查

Hint-based Safety Checking of Mobile Code

基于语言内部安全机制能够有效地保证移动代码的安全执行 ,其思想是要在移动代码中附加详细且足够的满足安全策略检查的注解信息 .基于提示的移动代码的安全检查 ,克服了目前 PCC存在的验证条件必须回送和证明长度过于庞大等缺陷 ,从而获得了更佳的代码安全检查性能 .

The language-based mechanism can enable safe execution of the mobile-code. The key idea is that detail and precise annotations should be inserted into the mobile code. This paper introduces a mechanism of hint-based safety checking of mobile code. This mechanism can overcome the two weaknesses in the previous PCC: the verification conditions must be returned and the size of proofs is too long, and a high performance of safety checking of the mobile code is obtained.