位置：成果数据库 > 期刊 > 期刊详情页
金英等 . 基于开源 JVM 的安全策略强制实施
  • 期刊名称：电子学报(增刊)
  • 时间：0
  • 页码：36-41
  • 语言：中文
  • 相关项目：携带模型代码MCC方法中的几个关键问题研究
作者： 张晶|魏达|金英|
同期刊论文项目
携带模型代码MCC方法中的几个关键问题研究
期刊论文 12 会议论文 4 著作 6
同项目期刊论文
一种约简动作变元的命题规划编码方式
基于自动推理技术的智能规划方法
多线程Java程序安全行为模型的静态检查方法
基于模态逻辑D公理系统的Conformant规划方法
基于Java平台实现安全行为模型验证
SetPi-演算及其对本体演化的建模
BP数字识别自动监控系统
一种基于描述逻辑的Web服务动态组合算法
Pi演算与动态描述逻辑DDL的关系研究
基于开源JVM的安全策略强制实施