当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录12条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 基于逻辑的程序验证方法在高可信软件开发上的应用 项森 中国优秀博硕士学位论文全文数据库 (博士) 2006 0 472
2 动态存储管理安全验证的Coq实现 项森;陈意云;林春晓;李隆; 计算机研究与发展 2007 1 144
3 DTD可选的XML访问控制研究 曹益华;张昱; 小型微型计算机系统 2008 0 94
4 带Order子句的XQuery在XML流上的查询实现 吴晓勇;张昱;孙东海; 小型微型计算机系统 2008 0 67
5 一种用于指针程序安全性证明的指针逻辑 陈意云;华保健;葛琳;王志芳; 计算机学报 2008 0 92
6 XQuery在XML流上查询的结构化连接 吴晓勇;张昱;孙东海; 计算机工程 2008 0 66
7 安全语言PointerC的设计及形式证明 华保健;陈意云;李兆鹏;王志芳;葛琳;江苏苏州215123; 计算机学报 2008 0 63
8 一种汇编程序的形式验证框架 李兆鹏;陈意云;葛琳;华保健; 计算机研究与发展 2008 0 44
9 汇编代码验证中的形式规范自动生成 葛琳;陈意云;华保健;李兆鹏;刘诚; 小型微型计算机系统 2008 0 10
10 一个经过证明的类型化汇编语言的类型检查器 郭宇;陈意云;华保健;李兆鹏; 小型微型计算机系统 2008 0 14
11 代码迷惑技术研究进展 王一宾;陈意云; 吉林大学学报(信息科学版) 2008 0 25
12 一个出具证明编译器后端的设计与实现 田波;陈意云;王伟;李兆鹏;王志芳; 计算机工程 2009 0 19