李泽鹏
- 作品数：4 被引量：11H指数：2
- 供职机构：吉林大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术农业科学更多>>
- 基于静态分析自动生成Java程序安全行为模型
- 移动代码安全中非信任代码在本地主机上安全执行的问题受到越来越多的关注。携带模型代码(Model-Carrying Code)方法提供了系统、全面地解决该问题的框架,然而其仍然存在一些有待完善的方面,其中包括:(1)采用了...
- 李泽鹏
- 关键词：MCC异常处理
- 文献传递
- 液压机械无级变速器控制系统研究
- 水稻插秧机的使用对水稻的产量大大增加,改善了原有的手工插秧质量,也同时对农业产量有所提升。我国的农业经济发展有了突飞猛进的进展。由于水稻插秧机长期处于不好的环境条件下,对机器的损耗非常的大,所以对插秧机的传动系统要求很高...
- 李泽鹏
- 关键词：水稻插秧机控制系统
- 文献传递
- 多线程Java程序安全行为模型的静态检查方法被引量：6
- 2009年
- 多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.
- 金英李泽鹏张晶刘磊
- 基于Java平台实现安全行为模型验证被引量：2
- 2007年
- 非信任代码的安全执行是移动代码安全的重要问题之一。携带模型代码方法同时从移动代码的生产者和使用者的角度考虑,为安全执行非信任代码提供了一个系统、全面且有效的解决方案。该方法主要包括安全策略的定义、安全行为模型的生成,以及其验证和安全策略的强制实施。针对已被广泛使用的Java平台,在深入分析其基于访问控制的安全体系结构的基础上,通过对Java核心类的修改和扩展,提出了一种能增加新的安全策略,以及实现MCC方法中安全行为模型验证的方法,为提高Java安全策略的描述能力,以及基于Java平台实现MCC方法,确保更全面的安全机制提供了可行的途径。
- 李泽鹏金英张晶郑晓娟
