类型论在软件安全方面的应用研究
基本信息
批准号：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.15957/j.cnki.jjdl.2016.12.031
发表时间：2016
2
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
3
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
4
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
DOI：10.19596/j.cnki.1001-246x.8419
发表时间：2022
5
圆柏大痣小蜂雌成虫触角、下颚须及产卵器感器超微结构观察
圆柏大痣小蜂雌成虫触角、下颚须及产卵器感器超微结构观察
DOI：10.3969/j.issn.1674-0858.2020.04.30
发表时间：2020
陈意云的其他基金
批准号：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
项目类别：面上项目