当前位置：
数字出版物超市 >> 
软件安全性的验证和编译
软件安全性的验证和编译
【项目名称】 软件安全性的验证和编译
【项目编号】 60673126
【项目目标】
【项目关键词】 软件安全性 Hoare逻辑 程序验证 编译 PCC CAP 表达能力 安全证 动态存储管理 软件安全 安全验证 代码 汇编语言 风格 推理 程序 软件 调用点 部分正确性 全程序 返回地址 枚举函数 自动检查 汇编级 复杂度 验证程序 类型安全 代码安全 底层软件 移动代码 不实用 通用框架 ?
【项目承办单位】 中国科学技术大学;
【项目负责人】 陈意云;
【项目来源】 国家自然科学基金项目
【涉及学科】 计算机软件及计算机应用
【科研经费】 25万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2005-12-30
    【申请截止时间】 2006-03-27
    【立项时间】 2007-01
    【完成时间】 2009-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....