多线程Java程序安全行为模型的静态检查方法

金英; 李泽鹏; 张晶; 刘磊

首页> 中文期刊> 《计算机学报》 >多线程Java程序安全行为模型的静态检查方法

多线程Java程序安全行为模型的静态检查方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.

著录项

来源
《计算机学报》 |2009年第9期|1856-1868|共13页
作者
金英; 李泽鹏; 张晶; 刘磊;
展开▼
作者单位

吉林大学计算机科学与技术学院;

长春;

130012;

吉林大学计算机科学与技术学院;

长春;

130012;

吉林大学计算机科学与技术学院;

长春;

130012;

吉林大学计算机科学与技术学院;

长春;

130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
多线程Java程序; 安全相关行为模型; 静态检查; 参数化扩展上下文无关文法;

相似文献

中文文献
外文文献
专利

1. 基于多线程Java程序安全行为模型的静态检查对策探析 [J] . 刘烨 . 计算机光盘软件与应用 . 2013,第006期
2. 基于扩展下推自动机的Java程序安全相关行为模型自动生成 [J] . 高彩凤 . 通讯世界：下半月 . 2016,第003期
3. 基于扩展下推自动机的Java程序安全相关行为模型自动生成 [J] . 高彩凤 . 通讯世界 . 2016,第006期
4. 龟兔赛跑——Java程序设计课程多线程部分教学设计 [J] . 夏冰冰 . 计算机教育 . 2012,第016期
5. Java程序设计中多线程的探索与研究 [J] . 汤德怀 . 商情 . 2010,第030期
6. 多线程死锁静态检测方法研究 [C] . 白哥乐 ,杨朝红 ,王雅文 . 第十四届全国容错计算学术会议 . 2011
7. 基于扩展下推自动机的Java程序安全相关行为模型自动生成 [A] . 李超 . 2011

多线程Java程序安全行为模型的静态检查方法

摘要

著录项

相似文献

相关主题

期刊订阅