基于Java平台实现安全行为模型验证

• 作者: 张晶 李泽鹏 郑晓娟 金英
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 携带模型代码 Java安全机制 安全行为模型 形式验证
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 7-10
• 页数: 4页
• 分类号: TP311
• 字数: 3992字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.10.003

摘要

非信任代码的安全执行是移动代码安全的重要问题之一.携带模型代码方法同时从移动代码的生产者和使用者的角度考虑,为安全执行非信任代码提供了一个系统、全面且有效的解决方案.该方法主要包括安全策略的定义、安全行为模型的生成,以及其验证和安全策略的强制实施.针对已被广泛使用的Java平台,在深入分析其基于访问控制的安全体系结构的基础上,通过对Java核心类的修改和扩展,提出了一种能增加新的安全策略,以及实现MCC方法中安全行为模型验证的方法,为提高Java安全策略的描述能力,以及基于Java平台实现MCC方法,确保更全面的安全机制提供了可行的途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晶	吉林大学计算机科学与技术学院	162	516	10.0	15.0
2	李泽鹏	吉林大学计算机科学与技术学院	2	22	2.0	2.0
3	金英	吉林大学计算机科学与技术学院	28	124	6.0	10.0
4	郑晓娟	东北师范大学软件学院	12	35	3.0	5.0