对机器语言进行检查保证移动代码安全

• 作者: 陈意云 陈涛
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 移动代码 安全策略语言 组件
• 年，卷（期）: 2004,（7）
• 所属期刊栏目: 安全技术
• 页码范围: 106-107,156
• 页数: 3页
• 分类号: TP309.5
• 字数: 4171字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.07.043

摘要

介绍了一种在安全策略语言的指导下,对机器语言进行安全检查的方法.它使用基于编程语言的理论和实现技术,通过分析程序语义和系统调用等特征,对程序进行检查.安全策略语言提供了一种灵活、统一的安全描述手段,希望这种将安全检查的实现机制和检查内容分离的做法能给其他的研究者提供了有用的参考.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈涛	中国科学技术大学计算机科学技术系	281	3813	30.0	52.0
2	陈意云	中国科学技术大学计算机科学技术系	83	854	16.0	26.0