类型论在软件安全方面的应用研究
基本信息
批准号：60473068
项目类别：面上项目
资助金额：5.00
负责人：陈意云
学科分类：
依托单位：中国科学技术大学
批准年份：2004
结题年份：2005
起止时间：2005-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：华蓓,张昱,郭宇,黄海军,吴萍,陈晖,项森,华保健,葛琳
关键词：
子结构逻辑程序验证软件安全类型细化类型论
结项摘要
模型检查、程序分析和类型系统等技术为排除具有不良行为的程序，验证程序的安全属性，提供了有效的方法，其中发展最成熟的是类型系统技术。但是仍然有很多程序性质不能用传统的类型系统来规范和检查。.本项研究以新型的逻辑系统，新型的类型系统及它们在软件安全方面的应用为中心而展开。在理论上，我们以Curry-Howard同构理论作为指导，研究子结构逻辑系统的性质以及它们在类型细化方面的作用，研究细化后的类型系统
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于被动变阻尼装置高层结构风振控制效果对比分析
基于被动变阻尼装置高层结构风振控制效果对比分析
DOI：10.13197/j.eeev.2019.05.95.fuwq.009
发表时间：2019
2
基于改进LinkNet的寒旱区遥感图像河流识别方法
基于改进LinkNet的寒旱区遥感图像河流识别方法
DOI：10.6041/j.issn.1000-1298.2022.07.022
发表时间：2022
3
濒危植物海南龙血树种子休眠机理及其生态学意义
濒危植物海南龙血树种子休眠机理及其生态学意义
DOI：10.11931/guihaia.gxzw201701024
发表时间：2017
4
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
5
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
DOI：10.13191/j.chj.2017.0028
发表时间：2016
陈意云的其他基金
批准号：60673126
批准年份：2006
资助金额：25.00
项目类别：面上项目
批准号：61170018
批准年份：2011
资助金额：56.00
项目类别：面上项目
批准号：69773025
批准年份：1997
资助金额：10.00
项目类别：面上项目
批准号：60173049
批准年份：2001
资助金额：18.00
项目类别：面上项目
批准号：90718026
批准年份：2007
资助金额：50.00
项目类别：重大研究计划
批准号：69373016
批准年份：1993
资助金额：5.00
项目类别：面上项目
批准号：69173315
批准年份：1991
资助金额：3.00
项目类别：面上项目
相似国自然基金
1
安全苛刻性软件建模、分析和验证及其在航天器系统中的应用研究
批准号：61003016
批准年份：2010
负责人：余丹
学科分类：F0203
资助金额：18.00
项目类别：青年科学基金项目
2
构造方法在软件开发中的应用研究
批准号：69373016
批准年份：1993
负责人：陈意云
学科分类：F0203
资助金额：5.00
项目类别：面上项目
3
容器安全加固及其在终端安全保护中的应用研究
批准号：61802398
批准年份：2018
负责人：雷灵光
学科分类：F0205
资助金额：27.00
项目类别：青年科学基金项目
4
软件安全性的验证和编译
批准号：60673126
批准年份：2006
负责人：陈意云
学科分类：F0203
资助金额：25.00
项目类别：面上项目