当前位置：
数字出版物超市 >> 
类型论在软件安全方面的应用研究
类型论在软件安全方面的应用研究
【项目名称】 类型论在软件安全方面的应用研究
【项目编号】 60473068
【项目目标】
【项目关键词】 软件安全 类型论 安全程序 XPath 代码 Java虚拟机 程序验证 类型化 程序变换 Hoare逻辑 低级语言 动态存储管理 抽象解释 安全验证 有效性比 形式化 缓冲 XML 类型系统 查询算法 表达能力 自动机 逐层 软件 索引 保护软件 管道处理 Query 非语义 限定环 程序规范 研究倾向
【项目承办单位】 中国科学技术大学;
【项目负责人】 陈意云;
【项目来源】 国家自然科学基金项目
【涉及学科】 计算机软件及计算机应用
【科研经费】 5万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2004-01-04
    【申请截止时间】 2004-03-31
    【立项时间】 2005-01
    【完成时间】 2005-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....