程序行为控制的语义约束方法研究
基本信息
批准号：60473053
项目类别：面上项目
资助金额：23.00
负责人：曾庆凯
学科分类：
依托单位：南京大学
批准年份：2004
结题年份：2007
起止时间：2005-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：黄皓,张德富,吴迎红,吕志军,袁卫忠,赖海光,吴琨,姚力哲,梁昌宇
关键词：
程序状态监控程序行为控制语义约束
结项摘要
本课题研究的重点在于保障软件在运行和维护时的安全性，即保证程序按照正常的轨迹运行，不产生异常的动作。目前研究包括静态分析、动态保护、监视执行以及访问控制等方面。这些技术都有一定的局限性。程序安全性问题主要源于程序行为难以被保证按照设计者的意图运行，程序的访问控制未能遵守最小权限原则。为此，我们提出程序行为控制的语义约束方法，为软件设计和开发者提供一套行之有效的方法，描述对程序行为的约束，使程序运行
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
端壁抽吸控制下攻角对压气机叶栅叶尖 泄漏流动的影响
端壁抽吸控制下攻角对压气机叶栅叶尖 泄漏流动的影响
DOI：
发表时间：2020
2
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
3
基于ESO的DGVSCMG双框架伺服系统不匹配 扰动抑制
基于ESO的DGVSCMG双框架伺服系统不匹配 扰动抑制
DOI：
发表时间：2018
4
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
DOI：10.19596/j.cnki.1001-246x.8419
发表时间：2022
5
Himawari-8/AHI红外光谱资料降水信号识别与反演初步应用研究
Himawari-8/AHI红外光谱资料降水信号识别与反演初步应用研究
DOI：
发表时间：2020
曾庆凯的其他基金
批准号：61170070
批准年份：2011
资助金额：55.00
项目类别：面上项目
批准号：61572248
批准年份：2015
资助金额：16.00
项目类别：面上项目
批准号：61772266
批准年份：2017
资助金额：63.00
项目类别：面上项目
批准号：60773170
批准年份：2007
资助金额：27.00
项目类别：面上项目
相似国自然基金
1
基于回答集语义的约束逻辑程序设计
批准号：60573009
批准年份：2005
负责人：张明义
学科分类：F0201
资助金额：26.00
项目类别：面上项目
2
抽象约束回答集程序关键问题及在语义Web中的应用研究
批准号：60970045
批准年份：2009
负责人：沈一栋
学科分类：F0201
资助金额：31.00
项目类别：面上项目
3
约束推理与约束程序
批准号：60073039
批准年份：2000
负责人：孙吉贵
学科分类：F0201
资助金额：15.00
项目类别：面上项目
4
约束推理与约束程序
批准号：60473003
批准年份：2004
负责人：孙吉贵
学科分类：F0201
资助金额：23.00
项目类别：面上项目