| 基于提示的移动代码安全检查 |
| |
| 引用本文： | 胡荣贵,陈意云,郭帆,张昱.基于提示的移动代码安全检查[J].小型微型计算机系统,2004,25(2):187-191. |
| |
| 作者姓名： | 胡荣贵 陈意云 郭帆 张昱 |
| |
| 作者单位： | 中国科学技术大学,计算科学与技术系,安徽,合肥,230026 |
| |
| 基金项目： | 国家自然科学基金 (60 173 0 49)资助 |
| |
| 摘 要： | 基于语言内部安全机制能够有效地保证移动代码的安全执行，其思想是要在移动代码中附加详细且足够的满足安全策略检查的注解信息．基于提示的移动代码的安全检查，克服了目前PCC存在的验证条件必须回送和证明长度过于庞大等缺陷，从而获得了更佳的代码安全检查性能．
|
| 关 键 词： | 移动代码 安全策略 携带证明的代码 |
| 文章编号： | 1000-1220(2004)02-0187-05 |
Hint-based Safety Checking of Mobile Code |
| |
| HU Rong-gui,CHEN Yi-yun,GUO Fan,ZHANG Yu.Hint-based Safety Checking of Mobile Code[J].Mini-micro Systems,2004,25(2):187-191. |
| |
| Authors: | HU Rong-gui CHEN Yi-yun GUO Fan ZHANG Yu |
| |
| Abstract: | 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. |
| |
| Keywords: | mobile code safety policy proof carrying code |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
