10.3969/j.issn.1000-1220.2004.02.006
基于提示的移动代码安全检查
基于语言内部安全机制能够有效地保证移动代码的安全执行,其思想是要在移动代码中附加详细且足够的满足安全策略检查的注解信息.基于提示的移动代码的安全检查,克服了目前PCC存在的验证条件必须回送和证明长度过于庞大等缺陷,从而获得了更佳的代码安全检查性能.
移动代码、安全策略、携带证明的代码
25
TP314(计算技术、计算机技术)
国家自然科学基金60173049
2004-04-23(万方平台首次上网日期,不代表论文的发表时间)
共5页
187-191