位置：成果数据库 > 期刊 > 期刊详情页
代码迷惑技术研究进展
  • ISSN号：1671-5896
  • 期刊名称：吉林大学学报(信息科学版)
  • 时间：0
  • 页码：21-26
  • 语言：中文
  • 相关项目：软件安全性的验证和编译
作者： 王一宾|陈意云|
同期刊论文项目
软件安全性的验证和编译
期刊论文 45 会议论文 11
同项目期刊论文
A comparable code obfuscation framework measuring efficiency based on abstract interpretation
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即时编译器自动外提循环中的同步操作
用于指针逻辑的自动定理证明器
期刊信息
  • 《吉林大学学报：信息科学版》
  • 中国科技核心期刊
  • 主管单位:教育部
  • 主办单位:吉林大学
  • 主编：刘大有
  • 地址：长春市南湖大路5372号
  • 邮编：130012
  • 邮箱：nhxb@jlu.edu.cn
  • 电话：0431-85152552
  • 国际标准刊号：ISSN：1671-5896
  • 国内统一刊号：ISSN：22-1344/TN
  • 邮发代号:12-276
  • 获奖情况:
  • 全国优秀高校自然科学学报,吉林省一级科技期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,波兰哥白尼索引,美国剑桥科学文摘,中国中国科技核心期刊
  • 被引量:5169