期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
对机器语言进行检查保证移动代码安全
1
作者
陈涛
陈意云
《计算机工程》
CAS
CSCD
北大核心
2004年第7期106-107,156,共3页
介绍了一种在安全策略语言的指导下，对机器语言进行安全检查的方法。它使用基于编程语言的理论和实现技术，通过分析程序语义和系统调用等特征，对程序进行检查。安全策略语言提供了一种灵活、统一的安全描述手段,希望这种将安全检查...
介绍了一种在安全策略语言的指导下，对机器语言进行安全检查的方法。它使用基于编程语言的理论和实现技术，通过分析程序语义和系统调用等特征，对程序进行检查。安全策略语言提供了一种灵活、统一的安全描述手段,希望这种将安全检查的实现机制和检查内容分离的做法能给其他的研究者提供了有用的参考。
展开更多
关键词
移动代码
安全策略
语言
组件
下载PDF
职称材料
基于规则的安全策略定义语言
2
作者
施军
刘琼波
尤晋元
《计算机工程》
CAS
CSCD
北大核心
2001年第7期25-27,共3页
基于任务角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能。用户使用这种高层描述语-言可在不同的系统中定义各种特定应用的安全策略。还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性...
基于任务角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能。用户使用这种高层描述语-言可在不同的系统中定义各种特定应用的安全策略。还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性的条件以及验证方法,并进一步讨论实现安全策略的有关问题。
展开更多
关键词
信息
安全
安全策略
定义
语言
谓词逻辑
稳定模型
下载PDF
职称材料
题名
对机器语言进行检查保证移动代码安全
1
作者
陈涛
陈意云
机构
中国科学技术大学计算机科学技术系
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第7期106-107,156,共3页
基金
国家自然科学基金组件项目资助(60173049)
文摘
介绍了一种在安全策略语言的指导下，对机器语言进行安全检查的方法。它使用基于编程语言的理论和实现技术，通过分析程序语义和系统调用等特征，对程序进行检查。安全策略语言提供了一种灵活、统一的安全描述手段,希望这种将安全检查的实现机制和检查内容分离的做法能给其他的研究者提供了有用的参考。
关键词
移动代码
安全策略
语言
组件
Keywords
Mobile code
Security-policy language
Component
分类号
TP309.5 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于规则的安全策略定义语言
2
作者
施军
刘琼波
尤晋元
机构
上海交通大学计算机科学与工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第7期25-27,共3页
基金
国家自然科学基金项目(699730332)
上海科技发展基金项目(995115014)
文摘
基于任务角色访问控制机制,提出类似一阶谓词逻辑的安全策略定义语言,并具有一定的时序表达功能。用户使用这种高层描述语-言可在不同的系统中定义各种特定应用的安全策略。还给出了基于扩展的稳定模型的语义描述,定义了安全策略正确性的条件以及验证方法,并进一步讨论实现安全策略的有关问题。
关键词
信息
安全
安全策略
定义
语言
谓词逻辑
稳定模型
Keywords
Security policyLogic programStable model
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
对机器语言进行检查保证移动代码安全
陈涛
陈意云
《计算机工程》
CAS
CSCD
北大核心
2004
0
下载PDF
职称材料
2
基于规则的安全策略定义语言
施军
刘琼波
尤晋元
《计算机工程》
CAS
CSCD
北大核心
2001
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
