期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于提示的移动代码安全检查
1
作者
胡荣贵
陈意云
+1 位作者
郭帆
张昱
《小型微型计算机系统》
CSCD
北大核心
2004年第2期187-191,共5页
基于语言内部安全机制能够有效地保证移动代码的安全执行 ,其思想是要在移动代码中附加详细且足够的满足安全策略检查的注解信息 .基于提示的移动代码的安全检查 ,克服了目前 PCC存在的验证条件必须回送和证明长度过于庞大等缺陷 ,从而...
基于语言内部安全机制能够有效地保证移动代码的安全执行 ,其思想是要在移动代码中附加详细且足够的满足安全策略检查的注解信息 .基于提示的移动代码的安全检查 ,克服了目前 PCC存在的验证条件必须回送和证明长度过于庞大等缺陷 ,从而获得了更佳的代码安全检查性能 .
展开更多
关键词
移动代码
安全策略
携带证明的代码
下载PDF
职称材料
题名
基于提示的移动代码安全检查
1
作者
胡荣贵
陈意云
郭帆
张昱
机构
中国科学技术大学计算科学与技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第2期187-191,共5页
基金
国家自然科学基金 (60 173 0 49)资助
文摘
基于语言内部安全机制能够有效地保证移动代码的安全执行 ,其思想是要在移动代码中附加详细且足够的满足安全策略检查的注解信息 .基于提示的移动代码的安全检查 ,克服了目前 PCC存在的验证条件必须回送和证明长度过于庞大等缺陷 ,从而获得了更佳的代码安全检查性能 .
关键词
移动代码
安全策略
携带证明的代码
Keywords
mobile code
safety policy
proof carrying code
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于提示的移动代码安全检查
胡荣贵
陈意云
郭帆
张昱
《小型微型计算机系统》
CSCD
北大核心
2004
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部