位置：成果数据库 > 期刊 > 期刊详情页
A comparable code obfuscation framework measuring efficiency based on abstract interpretation
  • ISSN号：1007-3205
  • 期刊名称：河北医科大学学报
  • 时间：0
  • 页码：531-534
  • 语言：中文
  • 相关项目：软件安全性的验证和编译
作者： Chen, Yi-Yun|Gao, Ying|
同期刊论文项目
软件安全性的验证和编译
期刊论文 45 会议论文 11
同项目期刊论文
A pointer logic and certifying compiler
利用 Java 即时编译器自动外提循环中的同步操作
一个用于指针程序验证的自动定理证明器的设计与实现
一种基于流图变换的代码迷惑算法
Java程序数据竞争的增量式检测
一个关于程序时间性质的验证框架
一种汇编语言指针逻辑的设计与实现
Certifying concurrent programs using transactional memory
一个出具证明编译器后端的设计与实现
渐进式标记-清扫垃圾收集机制验证
安全语言PointerC的设计及形式证明
代码迷惑技术研究进展
DTD可选的XML访问控制研究
带Order子句的XQuery在XML流上的查询实现
一种汇编程序的形式验证框架
一种用于指针程序安全性证明的指针逻辑
一个经过证明的类型化汇编语言的类型检查器
一种构造代码安全性证明的方法
XQuery在XML流上查询的结构化连接
基于语义的恶意软件判定器框架
Automated verification of pointer programs in pointer logic
汇编代码验证中的形式规范自动生成
一个支持位运算形式化推理的抽象机
动态存储管理安全验证的Coq实现
一个出具证明编译器原型系统的实现
Garbage collector verification for proof-carrying code
即时编译器辅助的垃圾收集中的插桩算法研究
利用Java即时编译器自动外提循环中的同步操作
用于指针逻辑的自动定理证明器
期刊信息
  • 《河北医科大学学报》
  • 中国科技核心期刊
  • 主管单位:河北省教育厅
  • 主办单位:河北医科大学
  • 主编：段惠军
  • 地址：河北省石家庄市中山东路361号
  • 邮编：050017
  • 邮箱：hbydxb@sina.com
  • 电话：0311-86266947
  • 国际标准刊号：ISSN：1007-3205
  • 国内统一刊号：ISSN：13-1209/R
  • 邮发代号:18-31
  • 获奖情况:
  • 河北省优秀科技期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,中国中国科技核心期刊
  • 被引量:13331