携带模型代码MCC方法中的几个关键问题研究
60603031
2006
F0202.系统软件、数据库与工业软件
金英
青年科学基金项目
教授
吉林大学
25万元
携带模型代码;移动代码安全;形式验证;程序安全行为模型
2007-01-01到2009-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 基于自动推理技术的智能规划方法 | 专著 | 李莹|石莲|吕帅|刘磊| |
| 2 | 基于压缩编码的经典最优规划方法 | 专著 | 刘磊|江鸿|魏唯|吕帅| |
| 3 | 基于命题可满足性的经典最优规划方法 | 专著 | 刘磊|江鸿|吕帅|魏唯| |
| 4 | 基于小波变换的全局能量图像融合算法 | 专著 | 王莎|刘磊|张红| |
| 5 | Specification and runtime enforcement of security policies | 会议论文 | Zhang, Jing|Zheng, Xiaojuan|Jin, Ying| |
| 6 | 基于模态逻辑D公理系统的Conformant规划方法 | 期刊论文 | 李莹|刘磊|石莲|吕帅| |
| 7 | Formal verification of protocol properties of sequential java programs | 会议论文 | Jin|Ying| |
| 8 | BP 数字识别自动监控系统 | 专著 | 孙彦峰|刘磊|张红| |
| 9 | 金英等 . 基于开源 JVM 的安全策略强制实施 | 期刊论文 | 张晶|魏达|金英| |
| 10 | Implementation Technique of Unrestricted LL Action Grammar | 会议论文 | Zhang Jing|Jin Ying| |
| 11 | 多线程Java程序安全行为模型的静态检查方法 | 期刊论文 | 金英|李泽鹏|刘磊|张晶| |
| 12 | Automatic generation and enforcement of security contract for pervasive application | 会议论文 | Liu, Lei|Jin, Ying|Wei, Da|Li, Zepeng| |
| 13 | Enumeration Based Security Behavior Model Checking Algorithm | 专著 | HuaXiao Liu|Ying Jin| |
| 14 | 基于Java平台实现安全行为模型验证 | 期刊论文 | 张晶|李泽鹏|郑晓娟|金英| |
查看更多信息请先登录或注册
